Serialisable multi-level transaction control: A specification and verification.

Egon Börger Klaus-Dieter Schewe Qing Wang

Published in: Sci. Comput. Program. (2016)

Keyphrases

formal verification
database
control system
control method
colored petri nets
control program
formal methods
model checking
data acquisition
transaction processing
asynchronous circuits
petri net
multi layer
information systems
control problems
control theory
learning algorithm
neural network
databases