Mosses, P.D. and Musicante, M. 1994. An Action Semantics for ML Concurrency Primitives. BRICS Report Series. 1, 20 (Jul. 1994). DOI:https://doi.org/10.7146/brics.v1i20.21647.