Musicante, Martín

• BRICS Report Series No. 20 (1994): RS-20 An Action Semantics for ML Concurrency Primitives - Articles
  An Action Semantics for ML Concurrency Primitives
  Abstract  PDF