1. Amadio, R.: A uniform presentation CHOCS and π-calculus. Rapport de recherche 1726, INRIA-Lorraine, Nancy, 1992
2. Boréale, M., De Nicola, R.: Testing equivalence for mobile processes. In Cleaveland, R. (ed.) Proc, 3rd CONCUR (Lect. Notes Comput. Sci., Vol. 630, pp. 2–16) Berlin: Springer 1992. To appear in Information and Computation
3. Bergstra, J.A., Klop, J.W.: Algebra for communicating processes with abstraction. Theoretical Computer Science 37(1), 77–121 (1985)
4. Degano, P., Kasangian, S., Vigna, S.: Applications of the calculus of trees to process description languages. Proc. of the CTCS ’91 Conf. (Lecture Notes Comput. Sci. Vol. 530, pp. 281–301) Berlin: Springer 1991
5. Engberg, U., Nielsen, M.: A calculus of communicating systems with label-passing. Report DAIMI PB-208, Computer Science Department, University of Aarhus, Denmark 1986