A semantics for ML concurrency primitives

A semantics for ML concurrency primitives (1992)

Cached

Download Links

[www.dcs.ed.ac.uk]

Other Repositories/Bibliography

DBLP

Save to List
Add to Collection
Correct Errors
Monitor Changes

by Dave Berry , Robin Milner , David N. Turner

Venue:	In Proc. 17th Annual ACM Symposium on Principles of Programming Languages
Citations:	80 - 3 self

Document Versions

A semantics for ML concurrency primitives –Dave Berry, Robin Milner, David N. Turner — 1992 — In Proc. 17th Annual ACM Symposium on Principles of Programming Languages