Login / Signup
A formal perspective to specification of transaction systems.
Sylvanus A. Ehikioya
Ken Barker
Published in:
South Afr. Comput. J. (2000)
Keyphrases
</>
transaction systems
concurrency control and recovery
formal specification
nested transactions
database systems
general purpose
management system
mobile phone
business rules
active databases
abstract data types