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

Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra. Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming. In Mike Paterson, editor, Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, July 16-20, 1990, Proceedings. Volume 443 of Lecture Notes in Computer Science, pages 765-778, Springer, 1990.

Abstract

Abstract is missing.