Mosses, P. D. On the Action Semantics of Concurrent Programming Languages. DPB 1992, 21.