Implementing CCS, the LCS experiment (1989)

Cached

Download Links

by Bernard Berthomieu
Citations:6 - 0 self

Documents Related by Co-Citation

218 CML: A higher-order concurrent language – J H Reppy - 1991
1566 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
542 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
61 Adding Threads to Standard ML – Eric C. Cooper, J. Gregory Morrisett - 1990
620 Compiling with Continuations – A W Appel - 1992
367 ML for the Working Programmer – L 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
41 An effective implementation for the generalized input-output construct of CSP – Gael N Buckley, Abraham Silberschatz - 1983
205 How to Write Parallel Programs: A Guide to the Perplexed – N Carriero, D Gelernter - 1989
454 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998