Hoare and Roscoe, `Laws of occam Programming'

Article View: comp.sys.transputer

Article #2636

Back to comp.sys.transputer Previous Next

#2636

From: Geraint Jones
Date: Mon, 17 Apr 1989 07:45

3 lines
636 bytes

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

Technical Details

Message-ID: <8904170745.AA17606@uk.ac.oxford.prg.inessa>

Path: arc1-ca.pugleaf.net!utzoo!dptcdc!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!ucbvax!prg.oxford.ac.uk!geraint

Show Full Headers

Complete Article Headers

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