On the Design and Formal Specification of a Transaction Processing Protocol.

Marten van Sinderen Ing Widya

Published in: FORTE (1990)

Keyphrases

formal specification
transaction processing
object oriented design
distributed databases
formal methods
database systems
model checking
database transactions
protocol specification
deadlock free
mobile phone
database management systems
concurrency control
transaction model
commit protocols