Path: utzoo!bnr-vpa!bnr-fos!bigsur!bnrgate!bnr!bcrka204!jwo
From: jwo@bcrka204.bnr.ca (John O'Leary 1616199)
Newsgroups: news.groups
Subject: Re: call for discussion: comp.lang.specification
Message-ID: <87@crk56.bnr.com>
Date: 25 Oct 89 19:25:54 GMT
References: <3614@midway.cs.glasgow.ac.uk>
Sender: janick@bnr.CA
Reply-To: jwo@bcrka204.UUCP (John O'Leary 1616199)
Organization: bnr
Lines: 11

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?

What a good idea! I would like to see such a newsgroup on the net.

John O'Leary, VHDL Group
Bell-Northern Research Ltd, Ottawa
JWO@BNR.CA