Gustavo Alonso, Armin Fessler, Guy Pardon, Hans-Jörg Schek. Correctness in General Configurations of Transactional Components. In Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31 - June 2, 1999, Philadelphia, Pennsylvania. pages 285-293, ACM Press, 1999. [doi]
Abstract is missing.