"An Action Semantics for ML Concurrency Primitives."

Peter D. Mosses, Martin A. Musicante (1994)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics