Formal Design and Verification of Long-Running Transactions with Extensible Coordination Tools.

Natallia Kokash Farhad Arbab

Published in: IEEE Trans. Serv. Comput. (2013)

Keyphrases

formal methods
long running
databases
case study
user interface
low cost
efficient implementation
real time
database systems
data model
concurrency control
low latency