An Action Semantics for ML Concurrency Primitives (1994)

Cached

Download Links

by Peter D. Mosses , Martín Musicante
Venue:IN FME'94, PROC. FORMAL METHODS EUROPE: SYMPOSIUM ON INDUSTRIAL BENEFIT OF FORMAL METHODS, BARCELONA, VOLUME 873 OF LNCS
Citations:9 - 6 self