A semantics for ML concurrency primitives

Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 ◽

10.1145/143165.143191 ◽

1992 ◽

Author(s):

Dave Berry ◽

Robin Milner ◽

David N. Turner

Download Full-text