1. Brookes, S.D., On the relationship of CCS and CSP, this volume.
2. Brookes, S.D., A Model for Communicating Sequential Processes, Ph.D. thesis, University of Oxford (submitted 1983).
3. Campbell, R., and Habermann, N., The Specification of Process Synchronization by Path Expressions, Springer LNCS Vol. 16.
4. Golson, W.G., and Rounds, W.C., Connections between Two Theories of Concurrency: Metric Spaces and Synchronisation Trees, Technical Report, Computing Research Laboratory, University of Michigan (January 1983)
5. Hoare, C.A.R., A model for Communicating Sequential Processes, Technical Report PRG-22, University of Oxford, Programming Research Group (1981).