iOperational and Algebraic Semantics of Facile: A Symmetric Integration of Concurrent and Functional Programming (1990)

by S Prasad, A Giacalone, P Mishra
Venue:in Proc. of 17th International Colloquium on Automata, Languages and Programming