|
The Laws of Occam Programming
A W Roscoe and
C A R Hoare
February 1986, 86 pages,
ISBN 0-902928-34-1
One of the attractive features of occam is the large number
of memorable algebraic laws which exist relating programs. We
investigate these laws and, by discovering a normal form for
WHILE-free programs, show that they completely characterise the
language's semantics.
|
![[Oxford Spires]](/im/spires.gif){kind=small}
oucl