1. N. Benton, L. Cardelli, and C. Fournet. Modern concurrency abstractions for C. Proc. of ECOOP 2002, LNCS 2374, pp. 415–440. Springer Verlag, 2002.
2. P.A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency, Control and Recovery in Database Systems. Addison-Wesley Longman, 1987.
3. G. Berry and G. Boudol. The chemical abstract machine. TCS 96(1):217–248, 1992
4. L. Bocchi, C. Lanve, and G. Zavattaro. A calculus for long-running transactions. Proc. Of FMOODS’03, LNCS 2884, pp 194–208. Springer Verlag, 2003.
5. R. Bruni, H. Melgratti, U. Montanari. Flat Committed Join in Join. Proc. of COMETA. 2003, ENTCS. To appear.