smith@cs.uq.oz.au (Graeme Smith) (05/13/91)
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