A transactional object calculus

Science of Computer Programming, August

Publication date: August 2, 2005

S. Jagannathan, J. Vitek, A. Welc, A. Hosking