Mosses, Peter D., and Martín Musicante. 1994. “An Action Semantics for ML Concurrency Primitives”. BRICS Report Series 1 (20). https://doi.org/10.7146/brics.v1i20.21647.