1. Technical Report;J.C.M. Baeten,1985
2. Barrett, G., The Semantics and Implementation of
occam. Thesis DPhil, Oxford, September 1988
3. Barrett, G., Goldsmith, M.H., Jones, G. & Kay, A., The Meaning and Implementation of PRI ALT in occam. in occam
and the Transputer — Research and Applications, ed. C Askew, IOS, Amsterdam, 1988
4. Brookes, S.D., Roscoe, A.W. & Walker, D.J., An Operational Semantics for CSP, forthcoming
5. Camilleri, J., An Operational Semantics for
occam. University of Cambridge, Computer Laboratory Technical Report 144, August 1988