Login / Signup

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