Should Concurrency be Specified?

Rosalind L. Ibrahim John A. Ogden Shirley A. Williams

Published in: Specification and Verification of Concurrent Systems (1988)

Keyphrases

database systems
concurrency control
database management systems
nested transactions
concurrent programming
database
case study
digital libraries
fine grained
concurrent execution
dynamic allocation