A Semantics for ML Concurrency Primitives.

Dave Berry Robin Milner David N. Turner

Published in: POPL (1992)

Keyphrases

maximum likelihood
concurrency control
low level
conceptual graphs
formal semantics
semantic representation
high level
building blocks
semantic information
data flow
active rules
transformation rules