An Action Semantics for ML Concurrency Primitives.

Peter D. Mosses, Martin A. Musicante

Browse the full FM paper archive.