A semantic theory for concurrent ML (1994)

by Dominique Bolignano, Mourad Debabi
Venue:Proc. TACS '94