[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: Need for Article "The laws of Occam programming"

Adrian Lawrence wrote:
> Alastair Allen wrote:
> > If no-one can offer an electronic version, this paper is no. 24 in the
> > list at:
> > http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/pubs.html
> You are probably better off looking at the pair of papers in Transputer
> Communications: numbers 52 & 53 on Bill's list.

Those papers are parts 1 & 2 of "Denotational semantics for occam2" (Roscoe,
Goldsmith, Scott).

Has anyone done any work on the semantics of Occam-2.5 or Occam-Pi?