1. [AN82] Arnold, A., Nivat, M.: Comportements de processus. Colloque AFCET Les Mathématiques de l'Informatique 35–68 1982.
2. [Bed88] Bednarczyk, M.A.: Categories of asynchronous systems. PhD thesis, University of Sussex, report no. 1/88, 1988.
3. [BDP93] Bernardinello, L., De Michelis, G., Petruni, K.: Synchronic distances as Generalized Regions. Rapporto Interno no. 107-93, Dipartimento di Scienze dell'Informazione, Universitá degli Studi di Milano, 1993.
4. [BC88] Boudol, G., Castellani, I.: A non-interleaving semantics for CCS based on proved transitions. Fundamenta InformaticaeXI 433–452 (1988).
5. [BC90] Boudol, G., Castellani, I.: Three equivalent semantics for CCS. In: Semantics of Systems of Concurrent Processes, I. Guessarian (ed.) LNCS 469, 96–141 (1990)