A Theory of Weak Bisimulation for Core CML (1993)

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

Documents Related by Co-Citation

3430 Communication and Concurrency – R Milner - 1989
272 Expressing Mobility in Process Algebras: First-order and Higher-order Paradigms – D Sangiorgi - 1992
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
849 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
1064 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
127 Bisimilarity as a theory of functional programming – A D Gordon - 1995
766 Notions of Computation and Monads – Eugenio Moggi - 1991
490 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
245 The Lazy Lambda Calculus – Samson Abramsky - 1990