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
3218 Communication and Concurrency – R Milner - 1989
218 CML: A higher-order concurrent language – J H Reppy - 1991
1566 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
996 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
3409 Communicating Sequential Processes – C. A. R. Hoare - 1985
361 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
542 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1289 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
24 PFL: A functional language for parallel programming – S Holmström - 1983
1100 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
102 Priorities in process algebra – Rance Cleaveland, Gerald Lüttgen, V. Natarajan - 1999
241 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996
12 A modular SOS for Action Notation (extended abstract – P D Mosses - 1999