On Observing Nondeterminism and Concurrency.

Matthew Hennessy Robin Milner

Published in: ICALP (1980)

Keyphrases

concurrency control
database systems
situation calculus
data sets
machine learning
concurrent execution
databases
dynamic programming
data flow
transaction processing