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:8 - 5 self