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: 103376,1042f393323e22da
X-Google-Attributes: gid103376,public
X-Google-Thread: 1014db,1042f393323e22da
X-Google-Attributes: gid1014db,public
From: Michael Norrish <mn200@cl.cam.ac.uk>
Subject: Re: Any research putting c above ada?
Date: 1997/05/20
Message-ID: <yvsd8qm4isl.fsf@merganser.cl.cam.ac.uk>#1/1
X-Deja-AN: 242546759
Sender: mn200@merganser.cl.cam.ac.uk
References: <JSA.97May14201336@alexandria> <5le6vf$15p@bcrkh13.bnr.ca>
 <01bc6189$b074f500$LocalHost@xhv46.dial.pipex.com>
 <5li53d$irf@bcrkh13.bnr.ca> <JSA.97May16174949@alexandria>
 <yvsaflrrfka.fsf@albatross.cl.cam.ac.uk> <JSA.97May19211413@alexandria>
Organization: Computer Lab., University of Cambridge
Newsgroups: comp.lang.c++,comp.lang.c,comp.lang.ada
Date: 1997-05-20T00:00:00+00:00
List-Id: <comp.lang.ada>


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
the other hand can show you an entire research group at the Computer
Lab here that does.

At a stretch you could call some of this stuff mathematics (it's
abstract in the way that much of maths is abstract), but when push
comes to shove, mathematicians don't do it; they're not interested.
Theoretical computer science is perhaps even a branch of mathematics,
but that doesn't mean maths departments do it.  

Michael.