Operational and algebraic semantics for Facile: a symmetric integration of concurrent and functional programming

Authors:
Sanjiva Prasad;Alessandro Giacalone;Prateek Mishra
Affiliations:
-;-;-
Venue:
Proceedings of the seventeenth international colloquium on Automata, languages and programming
Year:
1990

Compiler correctness for parallel languages

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Enhanced operational semantics: a tool for describing and analyzing concurrent systems

ACM Computing Surveys (CSUR)
Assigning types to processes

Information and Computation
Suptyping and Locality in Distributed Higher Order Processes (extended abstract)

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
A foundation for actor computation

Journal of Functional Programming

Hi-index	0.00