transaction Logic: An (Early) Exposé

Anthony J. Bonner, Michael Kifer. transaction Logic: An (Early) Exposé. In Vangalur S. Alagar, Laks V. S. Lakshmanan, Fereidoon Sadri, editors, Formal Methods in Databases and Software Engineering, Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992. Workshops in Computing, pages 1-24, Springer, 1992.

Abstract

Abstract is missing.