A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages (1997)

Cached

Download Links

by Karen L. Bernstein
Citations:36 - 0 self

Active Bibliography

19 Variable binding operators in transition system specifications – C. A. Middelburg - 2001
10 A conservative look at term deduction systems with variable binding – Wan Fokkink, Chris Verhoef - 1995
31 A Conservative Look at Operational Semantics with Variable Binding – Wan Fokkink, Chris Verhoef - 1998
10 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
2 On the observational theory of the CPS-calculus ∗ – Massimo Merro
1 SOS for Higher Order Processes (Extended Abstract) – Mohammadreza Mousavi, Murdoch J. Gabbay, Michel A. Reniers
20 Relational Reasoning about Contexts – Søren B. Lassen - 1998
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
54 Ntyft/ntyxt rules reduce to ntree rules – Wan Fokkink, Rob Van Glabbeek - 1996
18 Precongruence Formats for Decorated Trace Semantics – Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
20 Bisimilarity of Open Terms – Arend Rensink - 2000
108 The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (Extended Abstract) – Joachim Parrow, Björn Victor - 1998
6 A Hierarchy of SOS Rule Formats – Jan Friso Groote, MohammadReza Mousavi, Michel A. Reniers - 2005
35 Environmental bisimulations for higher-order languages – Davide Sangiorgi - 2007
16 A congruence format for name-passing calculi – Axelle Ziegler, Dale Miller, Catuscia Palamidessi - 2005
46 A bisimulation for type abstraction and recursion – Eijiro Sumii, Benjamin C. Pierce - 2005
3 Structural operational semantics and bounded nondeterminism – Wan Fokkink, Thuy Duong Vu - 2003
1 Structural congruences and structural operational semantics – Mohammadreza Mousavi, Michel Reniers - 2004
15 Rooted branching bisimulation as a congruence – Wan Fokkink - 2000