The Concurrency Workbench.

Rance Cleaveland Joachim Parrow Bernhard Steffen

Published in: Automatic Verification Methods for Finite State Systems (1989)

Keyphrases

concurrency control
database systems
data flow
database management systems
concurrent execution
dynamic allocation
artificial intelligence
image processing
preprocessing
information technology
data access
concurrency control protocols
nested transactions