1. Testing equivalences for mobile processes;Boreale;Inf. Comput.,1995
2. A symbolic semantics for the π-calculus;Boreale;Inf. Comput.,1996
3. The weak late π-calculus semantics as observation equivalence;Ferrari,1995
4. M. Hennessy, A model for the π-calculus, Technical Report 8/91, CSAI, University of Sussex, 1991
5. Symbolic bisimulations;Hennessy;Theoret. Comput. Sci.,1995