Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!cornell!bard From: bard@brigid.cs.cornell.edu (Bard Bloom) Newsgroups: news.groups Subject: Re: call for discussion: comp.lang.specification Message-ID: <33464@cornell.UUCP> Date: 23 Oct 89 18:11:53 GMT References: <3614@midway.cs.glasgow.ac.uk> Sender: nobody@cornell.UUCP Reply-To: bard@cs.cornell.edu (Bard Bloom) Organization: Cornell Univ. CS Dept, Ithaca NY Lines: 9 This sounds like a good idea. I've worked some in CCS, and I'd like to have a place where I can see if CCS concepts are relevant to other kinds of tools. Also, I do the theory of CCS, and I'd like to know something about the practice ... and the practice of specifications in general. Bard Bloom Asst. Prof. of C.S. Cornell University