Operational and algebraic semantics for facile: a symmetric integration of concurrent and functional programming (1993)

by A Giacalone, P Mistra, S Prasad
Venue:in: Proc. ICALP 90, Lecture Notes in Computer Sci