Operational Semantics of Transactions.

Andreas Prinz, Bernhard Thalheim

Browse the full ADC paper archive.