1. Boreale, M., De Nicola, R.: Testing equivalences for mobile processes. Journal of Information and Computation 120, 279–303 (1995)
2. Boreale, M., Sangiorgi, D.: Bisimulation in name-passing calculi without matching. In: Proceedings of LICS 1998, July 1998, IEEE Computer Society Press, Los Alamitos (1998)
3. Deng, Y., Sangiorgi, D.: Towards an algebraic theory of typed mobile processes (full version), http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/mypapers.html
4. Hennessy, M., Rathke, J.: Typed behavioural equivalences for processes in the presence of subtyping (2003);
5. To appear in Mathematical Structures in Computer Science