A semantics for ML concurrency primitives (1992)

by D Berry, R Milner, D N Turner
Venue:In Conference Record of the Nineteenth Annual ACM Symposium on Principles of Programming Languages