Mosses, P. D.; Musicante, M. An Action Semantics for ML Concurrency Primitives. BRICS 1994, 1.