Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!brutus.cs.uiuc.edu!ginosko!cs.utexas.edu!uunet!munnari.oz.au!bruce!trlluna!shiva!keck
From: keck@shiva.trl.oz (Brian Keck)
Newsgroups: news.groups
Subject: Re: call for discussion: comp.lang.specification
Message-ID: <777@trlluna.trl.oz>
Date: 27 Oct 89 06:33:43 GMT
References: <3614@midway.cs.glasgow.ac.uk>
Sender: root@trlluna.trl.oz
Reply-To: keck@shiva.trl.oz (Brian Keck)
Organization: Telecom Research Labs., Switched Networks Research Branch
Lines: 20

In article <3614@midway.cs.glasgow.ac.uk> Jack Campin <jack@cs.glasgow.ac.uk> writes:
>
>
>What do people think of having a newsgroup to discuss specification and
>requirements languages - Z, Larch, OBJ, Lotos, VDM, metoo, CSP, CCS, Petri
>nets, RML, Forest, hardware description languages,... and related issues?
>

There would be a lot of interest down here

>I prefer the name above, despite its unfortunate ambiguity (it could also
>be read as specification OF computer languages, a subtopic of my intended
>one) but could live with comp.software-eng.formal or comp.specification.
>

comp.lang.specification is OK

Brian Keck                                  ACSnet[Internet]:b.keck@.trl.oz[.au]
Telecom Australia Research                               Phone: +1 61 3 541 6407
P.O. Box 249 Clayton, Victoria 3168, Australia