Mosses, P. D. (1992). On the Action Semantics of Concurrent Programming Languages. DAIMI Report Series, 21(424). https://doi.org/10.7146/dpb.v21i424.6738