1. L. Aceto. On relating concurrency and nondeterminism. Report 6/89, Computer Science, University of Sussex, Brighton, 1989.
2. G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn. Observing localities. Report 4/91, Sussex University, and INRIA Res. Rep. 1485, 1991. To appear in TCS.
3. G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn. A theory of processes with localities. Report 13/91, Sussex University, and INRIA Res. Rep. 1632, 1992.
4. I. Castellani. Bisimulations for Concurrency. Ph.d. thesis, University of Edinburgh, 1988.
5. I. Castellani and M. Hennessy. Distributed bisimulations. JACM, 10(4):887–911, 1989.