Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Transaction Models


Citation: Andreas Prinz and Bernhard Thalheim, "Operational Semantics of Transactions", in Proceedings of ADC 2003.
Summary: ASMs are used to give a formal definition of the informal notion of "transaction" frequently used in database research.
Subjects: Databases
Download: From Bernhard Thalheim's homepage in PDF.
Notes: