From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 109fba,1042f393323e22da X-Google-Attributes: gid109fba,public X-Google-Thread: 1014db,1042f393323e22da X-Google-Attributes: gid1014db,public X-Google-Thread: 103376,1042f393323e22da X-Google-Attributes: gid103376,public From: jsa@alexandria (Jon S Anthony) Subject: Re: Any research putting c above ada? Date: 1997/05/20 Message-ID: #1/1 X-Deja-AN: 242684324 Distribution: world References: <5le6vf$15p@bcrkh13.bnr.ca> <01bc6189$b074f500$LocalHost@xhv46.dial.pipex.com> <5li53d$irf@bcrkh13.bnr.ca> Organization: PSI Public Usenet Link Newsgroups: comp.lang.c++,comp.lang.c,comp.lang.ada Date: 1997-05-20T00:00:00+00:00 List-Id: In article Michael Norrish writes: > jsa@alexandria (Jon S Anthony) writes: > > > > Where else is the theory of communicating processes (things like CSP > > > and CCS by Hoare and Milner respectively) going to live except in > > > computer science? > > > Engineering again. Other than how this works in actual software > > systems, who cares? > > Theoretical computer scientists, that's who. Show me an engineering > department that cares in the slightest about the pi calculus. I, on Well, if they had a widely recognized software engineering discipline, then this would not be an issue. I'm not saying you can just drop CS and not replace it with something and then try to get the relevant bits and bobs from EEs and CEs and such. > Theoretical computer science is perhaps even a branch of mathematics, > but that doesn't mean maths departments do it. Well, yes, this is similar to what I've said. A chunk of so called CS is really some bit of mathematics. /Jon -- Jon Anthony Organon Motives, Inc. Belmont, MA 02178 617.484.3383 jsa@organon.com