Skip to content

A Semantics for ML Concurrency Primitives.

Dave Berry, Robin Milner, David N. Turner

VenueA*POPL
Year1992
ProceedingsPOPL

Browse the full POPL paper archive.