An action semantics for ML concurrency primitives (1994)

by P D Mosses, M A Musicante
Venue:In Proc. FME’94 (Formal Methods Europe, Symposium on Industrial Benefits of Formal Methods), number 873 in Lecture Notes in Computer Science