An action semantics for ML concurrency primitives (1994)

by P D Mosses, M A Musicante
Venue:In FME'94, Proc. Formal Methods Europe: Symposium on Industrial Benefit of Formal Methods, Barcelona, volume 873 of LNCS