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