Implementing CCS, the LCS experiment (1989)

Cached

Download Links

by Bernard Berthomieu
Citations:5 - 0 self

Documents Related by Co-Citation

217 CML: A higher-order concurrent language – J Reppy - 1991
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
160 FACILE: A symmetric integration of concurrent and functional programming – P Mishra Giacalone, S Prasad
5 Implementations of Process Synchronisation and their Analysis – K Mitchell - 1986
4 PFL: A functional language for parallel programming and its implementation – Soren Holstrom - 1983
25 A distributed concurrent implementation of Standard ML – David C J Matthews - 1991
9 The Edinburgh SML Library – Dave Berry - 1991
22 First-class synchronous operations in Standard ML – J H Reppy - 1989
60 Adding Threads to Standard ML – Eric C. Cooper, J. Gregory Morrisett - 1990
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
625 Compiling With Continuations – A W Appel - 1992
367 ML for the Working Programmer – Laurence C Paulson - 1991
81 A semantics for ML concurrency primitives – Dave Berry, Robin Milner, David N. Turner - 1992
15 An operational semantics of first-class synchronous operations – J H Reppy - 1991
26 A Distributed Protocol for Channel-Based Communication with Choice – Frederick Knabe - 1993
11 Generating Program Animators from Programming Language Semantics – Dave Berry - 1991
35 The Semantics of Programming Languages – M Hennessy - 1990
41 An effective implementation for the generalized input-output construct of CSP – Gael N Buckley, Abraham Silberschatz - 1983
448 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998