Serialisable Multi-Level Transaction Control: A Specification and Verification.

Egon Börger Klaus-Dieter Schewe Qing Wang

Published in: CoRR (2017)

Keyphrases

formal verification
control system
high level
model checking
optimal control
control strategy
control method
formal methods
control program
database
e learning
robotic systems
transaction processing
concurrent systems