A semantics for ML concurrency primitives (1992)

Cached

Download Links

by Dave Berry , Robin Milner , David N. Turner
Venue:In Proc. 17th Annual ACM Symposium on Principles of Programming Languages
Citations:81 - 3 self

Documents Related by Co-Citation

126 Higher-order Concurrency – John Hamilton Reppy - 1992
3219 Communication and Concurrency – R Milner - 1990
217 CML: A higher-order concurrent language – J Reppy - 1991
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
83 Control operators, the SECD machine and the -calculus – M Felleisen, D P Friedman - 1986
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
363 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
160 FACILE: A symmetric integration of concurrent and functional programming – P Mishra Giacalone, S Prasad
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
24 PFL: A functional language for parallel programming – S Holmström - 1983
1095 Actors: A model of concurrent computation in distributed systems – G Agha - 1986
20 Operational and algebraic semantics for facile: a symmetric integration of concurrent and functional programming – A Giacalone, P Mistra, S Prasad - 1993
116 Calculi for higher order communicating systems – B Thomsen - 1990
8 Programming with behaviours in an ML framework: the syntax and semantics of LCS – Bernard Berthomieu, Thierry Le Sergent - 1994
103 Priorities in process algebra – Rance Cleaveland, Gerald Lüttgen, V. Natarajan - 1999
12 A modular SOS for Action Notation (extended abstract – P D Mosses - 1999
16 Inductive and operational semantics – E Astesiano - 1991