Using Abstract State Machines to Model ARIES-based Transaction Processing.

Markus Kirchberg

Published in: J. Univers. Comput. Sci. (2009)

Keyphrases

transaction processing
management system

distributed databases
database systems

data structure
multi agent systems

mobile learning