1. An asynchronous model of locality, failure and process mobility;Amadio,1997
2. Localities and failures;Amadio,1995
3. The Jini Specification;Arnold,1999
4. M. Berger, K. Honda, The two-phase commitment protocol in an extended pi-calculus, in: Proc. of EXPRESS ’00: Expressiveness in Concurrency, Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam, pp. 105–130.
5. Concurrency Control and Recovery in Database Systems;Bernstein,1987