On the Axiomatic Treatment of Concurrency.

Stephen D. Brookes

Published in: Seminar on Concurrency (1984)

Keyphrases

concurrency control
medical treatment
database systems
axiomatic characterization
artificial intelligence
data management
software systems
decision theory
acute myocardial infarction
database
case study
search algorithm
data flow
transaction processing
nested transactions