1. E.Astesiano, G.Reggio, E.Zucca. Operational Frameworks for Semantic Description of Concurrent Languages, with an application to ADA-like languages, Internal Report CNET-61, Dept. of Mathematics, Univ. of Genova.
2. R.Milner. A Calculus of Communicating Systems, Springer LNCS n∘ 92, 1980.
3. R.Milner. Calculi for Synchrony and Asynchrony, Internal Report CSR-104-82, Edinburgh University, February 1982
4. C.A.R.Hoare, S.D.Brookes, A.W.Roscoe. A Theory of Communicating Sequential Processes, Technical Monograph PRG-16, Programming Research Group, Oxford University, 1981.
5. C.A.Petri. Concurrency, Proc. Net Theory and Applications, Springer LNCS n∘ 84, 1980, pp. 251–260.