A Modular SOS for ML Concurrency Primitives (1999)

by Peter D. Mosses
Venue:DEPT. OF COMPUTER SCIENCE, UNIV. OF AARHUS
Citations:10 - 8 self