Robin Milner's Work on Concurrency: An Appreciation.

Samson Abramsky

Published in: CoRR (2022)

Keyphrases

concurrency control
database systems
data flow
data mining
video sequences
fine grained
software systems
concurrent execution
image processing
probabilistic model
transaction processing
nested transactions