Concurrent ML: Design, Application and Semantics (1993)

by J H Reppy
Venue:In Functional Programming, Concurrency, Simulation and Automated Reasoning, LNCS 693