Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming.

Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra

Browse the full ICALP paper archive.