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

Active Bibliography

3 Towards a Semantic Theory of CML – W. Ferreira, M. Hennessy - 1995
Weak Sequential Composition in Process Algebras – Arend Rensink And, Arend Rensink, Heike Wehrheim - 1994
2 Process Algebra with Action Dependencies – Arend Rensink, Heike Wehrheim - 1999
109 A Congruence Theorem for Structured Operational Semantics With Predicates – J.C.M. Baeten, C. Verhoef - 1993
2 Tools for a Calculus of Broadcasting Systems – Jenny Petersson - 1993
21 A Fully Abstract Semantics for a Concurrent Functional Language With Monadic Types – Alan Jeffrey - 1995
16 Basic Observables for Processes – Michele Boreale, Rocco De Nicola, Rosario Pugliese - 1999
3 Linking DC together with TRSL – Anne Haxthausen, Xia Yong - 1999
17 An Operational Semantics for Timed RAISE – Chris George, Chris George, Xia Yong, Xia Yong - 1998
2 An Operational Semantics for Timed RAISE – Xia Yong, Chris George - 1998
1 Transition System Specifications in Stalk Format With Bisimulation as a Congruence – Van Oostrom, E. P. De Vink - 1994
10 Concurrent Kripke Structures – Vineet Gupta - 1993
21 Expressiveness Results for Process Algebras – F.W. Vaandrager, Frits W. Vaandrager - 1993
36 Refinement of Actions and Equivalence Notions for Concurrent Systems – Rob Van Glabbeek, Ursula Goltz - 1998
89 Turning SOS Rules into Equations – Luca Aceto, Bard Bloom, Frits Vaandrager - 1994
From a Concurrent lambda-calculus to the pi-calculus – Roberto M. Amadio, Lone Leth, Bent Thomsen
Principles and a Preliminary Design for ML2000 – The ML2000 Working Group - 1999
Names of the ß-Calculus Agents Handled Locally – Chiara Bodei, Pierpaolo Degano, Corrado Priami - 1996
Representing Control in Parallel Applicative Programming – Chi Yao - 1994