B. Bibliography

[Hoare85]

C.A. Hoare. Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs, New Jersey, 1985.

[Roscoe97]

A.W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997.

[Scat95]

J.B. Scattergood. Tools for CSP and Timed CSP. D.Phil., Oxford University Computing Laboratory, September 1995.