1. Acciai, L., Boreale, M., Dal Zilio, S.: A Concurrent Calculus with Atomic Transactions (long version),
http://arxiv.org/abs/cs.LO/0610137
2. Amadio, R., Castellani, I., Sangiorgi, D.: On Bisimulations for the Asynchronous π-Calculus. Th. Comp. Sci. 195(2), 291–324 (1998)
3. Berardi, D., et al.: Automatic Composition of Transition-Based Web Services with Messaging. In: Proc. of VLDB (2005)
4. Lecture Notes in Computer Science;J.A. Bergstra,1994
5. Bhiri, S., Perrin, O., Godart, C.: Ensuring Required Failure Atomicity of Composite Web Services. In: Proc. of WWW, ACM Press, New York (2005)