Denker, G., J. Ramos, C. Caleiro, and A. Sernadas,
"A Linear Temporal Logic Approach to Objects with Transactions",
Sixth Int1 Conf1 on Algebraic Methodology and Software Technology, AMAST'97, 13-17 December 1997, Sydney, Australia: Springer, pp. 170-184, 1997.
Abstract
Denker, G., and H. - D. Ehrich,
"An Event-Based Semantics for Transactions",
Proc. Intern. Workshop on Information Systems - Correctness and Reusability (IS-CORE'95), Technical Report, Evry, Sept. 1995: Universite d'Evry Val d'Essonne, Laboratoire de Mathematiques et d'Informatique, pp. 57-72, 1995.
Abstract
Drawin, M., K. Neumann, and H. - D. Ehrich,
"Regelorientierte Erzeugung von Karten-Entwürfen auf geowissenschaftlichen Datenbanken",
Proc Datenbanksysteme in Büro, Technik und Wissenschaft: Informatik-Fachbericht 136, Springer, Berlin, pp. 231-246, 1987.
Abstract
Download: 1987BTW.pdf (739.81 KB)