A semantics for ML concurrency primitives (1992)

by Dave Berry, Robin Milner, David N. Turner
Venue:In Proc. 17th Annual ACM Symposium on Principles of Programming Languages