A Modular SOS for ML Concurrency Primitives (1999)

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