1. Arbib, M.A.,and Manes,E.G., Arrows, Structures and Functors, The categorical imperative. Academic Press (1975).
2. Arbib, M.A.,and Manes,E.G., Formal semantics of programming languages. Final version forthcoming, preliminary version (1982).
3. Brookes, S.D., On the relationship of CCS and CSP. ICALP 1983.
4. Brauer, W.(Ed.), Net Theory and Applications, Springer-Verlag Lecture Notes in Comp. Sci., vol.84 (1980).
5. Hoare, C.A.R., Communicating sequential processes. Comm. ACM 21 (1978).