Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!wuarchive!uunet!munnari.oz.au!brolga!uqcspe!cs.uq.oz.au!smith
From: smith@cs.uq.oz.au (Graeme Smith)
Newsgroups: comp.specification
Subject: Game of Life in CSP
Message-ID: <1343@uqcspe.cs.uq.oz.au>
Date: 13 May 91 06:41:31 GMT
Sender: news@cs.uq.oz.au
Reply-To: smith@cs.uq.oz.au
Lines: 8

As part of my current research I am interested in comparing various 
methods of specifying concurrency. In particular, I am looking at
specifying the Game of Life. Does anybody know if there is an existing
CSP specification of it that I can get my hands on?

Thanks in advance.

--Graeme Smith			smith@cs.uq.oz.au