1. Verifying programs with unreliable channels;Aziz Abdulla;Journal of Information and Computation,1996
2. Roberto M. Amadio. An asynchronous model of locality, failure, and process mobility. In Proc. of COORDINATION 97, volume 1282 of Incs. Springer Verlag, Berlin, 1997. Also Rapport Interne 216 LIM February 1997, and INRIA Research Report 3109.
3. Martin Berger. Towards Abstractions for Distributed Systems. PhD thesis, Imperial College, Department of Computing, 2000. To appear.
4. Martin Berger and Kohei Honda. Atomic commitment protocols in extended π-calculi (1). Available upon request from the authors, May 2000.
5. Algebra of communicating processes;Bergstra;TCS,1985