Algebraic Laws for Nondeterminism and Concurrency

Matthew Hennessy Robin Milner

Published in: J. ACM (1985)

Keyphrases

concurrency control
database systems
higher order
situation calculus
data flow
transaction processing
htn planning
database
real time
genetic algorithm
decision trees
search algorithm
domain specific
distributed systems
object oriented languages
concurrent execution