Path: utzoo!dptcdc!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!ucbvax!prg.oxford.ac.uk!geraint
From: geraint@prg.oxford.ac.uk (Geraint Jones)
Newsgroups: comp.sys.transputer
Subject: Hoare and Roscoe, `Laws of occam Programming'
Message-ID: <8904170745.AA17606@uk.ac.oxford.prg.inessa>
Date: 17 Apr 89 07:45:18 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The Internet
Lines: 3

A number of references have recently been made here to this PRG monograph;
you may find it simpler to get hold of the September 1988 copy, Vol60(2),
of Theoretical Computer Science where it appears as pp.177-229            g