A Semantics for ML Concurrency Primitives (1992)

by R Milner D Berry, D Turner
Venue:In Proceedings of the 19th ACM Symposium on Principles of Programmings Languages