Linking Theories of Concurrency.

Published in: 25 Years Communicating Sequential Processes (2004)

Keyphrases

concurrency control
theoretical framework
database systems
computational models
data sets
defeasible logic
nested transactions