Game of Life in CSP

Article View: comp.specification

Article #379

Back to comp.specification Previous Next

#379

From: Graeme Smith
Date: Mon, 13 May 1991 06:41

8 lines
700 bytes

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

Technical Details

Message-ID: <1343@uqcspe.cs.uq.oz.au>

Path:

arc1-ca.pugleaf.net!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

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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