1. M. Boreale, R. De Nicola: Testing Equivalence for Mobile Processes. Information and Computation, 120, pp. 279–303, 1995.
2. Technical Report;G. Boudol,1992
3. Lect Notes Comput Sci;E. Brinksma,1995
4. D. Cacciagrano, F. Corradini: On Synchronous and Asynchronous Communication Paradigms. Internal Report n. 17/2000, University of L’Aquila, 2000. Available from: http://w3.dm.univaq.it/~avio .
5. Lect Notes Comput Sci;I. Castellani,1998