A Theory of Weak Bisimulation for Core CML (1993)

Cached

Download Links

by William Ferreira , Matthew Hennessy , Alan Jeffrey
Venue:J. Functional Programming
Citations:39 - 7 self

Documents Related by Co-Citation

3242 Communication and Concurrency – R Milner - 1989
260 Expressing Mobility in Process Algebras: FirstOrder and Higher-Order Paradigms – D Sangiorgi - 1992
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
816 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
239 The Lazy Lambda Calculus – Samson Abramsky - 1990
589 Communication and Mobile System: π-calculus – R Milner - 1999
734 Notions of Computation and Monads – Eugenio Moggi - 1991
662 Concurrency and automata on infinite sequences – D Park - 1981