[comp.sys.transputer] Hoare and Roscoe, `Laws of occam Programming'

geraint@prg.oxford.ac.uk (Geraint Jones) (04/17/89)

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