1. Abdulla, P.A., Jonsson, B.: Verifying programs with unreliable channels. Info. & Comp. 127(2), 91–101 (1996)
2. Lecture Notes in Computer Science;R.M. Amadio,1997
3. Lecture Notes in Computer Science;R.M. Amadio,1994
4. Berger, M.: Towards Abstractions for Distributed Systems. PhD thesis, Imperial College, London (2002)
5. Berger, M., Honda, K.: The Two-Phase Commit Protocol in an Extended π-Calculus. In: Proc. EXPRESS 2000. ENTCS, vol. 39 (2000)