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

Active Bibliography

33 Concurrent ML: Design, Application and Semantics – John H. Reppy - 1993
26 A Distributed Protocol for Channel-Based Communication with Choice – Frederick Knabe - 1993
13 Programming with behaviors in an ML framework - The syntax and semantics of LCS – Bernard Berthomieu, Thierry Le Sergent - 1994
Workshop on Declarative Aspects of Multicore Programming – Manuel Hermenegildo, Leaf Petersen, Neal Glew - 2008
9 Toward a parallel implementation of Concurrent ML – Yingqi Xiao
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
A Portable Multiprocessor Interface – Andrew Tolmach
5 A Portable Multiprocessor Interface for Standard ML of New Jersey – J. Gregory Morrisett, Andrew Tolmach - 1992
198 Reflections on Standard ML – David B. MacQueen - 1992
11 Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey – J. Gregory Morrisett, Andrew Tolmach - 2000
2 Process Calculi at work - An account of the LCS project – Bernard Berthomieu - 1995
69 Explicit Polymorphism and CPS Conversion – Robert Harper , Mark Lillibridge - 1992
13 A Typed Higher-Order Programming Language Based on the Pi-Calculus – Benjamin C. Pierce, Didier Rémy, David N. Turner - 1993
60 Higher-Order Distributed Objects – Henry Cejtin, Suresh Jagannathan, Richard Kelsey - 1995
2 Tools for a Calculus of Broadcasting Systems – Jenny Petersson - 1993
67 What is a `Good' Encoding of Guarded Choice? – Uwe Nestmann - 1997
2 A synergy between model-checking and type inference for the verification of value-passing higher-order processes – M. Debbabi, A. Benzakour, B. Ktari - 1999
14 Abstract Machines for Dynamic Computation – Christopher David Walton - 2001
222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998