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

Cached

Download Links

by Karen L. Bernstein
Citations:36 - 0 self

Documents Related by Co-Citation

196 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
189 Structured Operational Semantics and Bisimulation as a Congruence, Information and Computation 100 – J F Groote, F Vaandrager - 1992
109 A Congruence Theorem for Structured Operational Semantics With Predicates – J.C.M. Baeten, C. Verhoef - 1993
32 A Conservative Look at Operational Semantics with Variable Binding – Wan Fokkink, Chris Verhoef - 1998
54 Ntyft/ntyxt rules reduce to ntree rules – Wan Fokkink, Rob Van Glabbeek - 1996
3219 Communication and Concurrency – R Milner - 1990
125 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999
74 The meaning of negative premises in transition system specifications – R N Bol, J F Groote - 1996
109 Proving congruence of bisimulation in functional programming languages – Douglas J. Howe - 1996
65 The Tile Model – Fabio Gadducci, Ugo Montanari - 1996
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
116 Transition system specifications with negative premises – J F Groote - 1993
73 Compositionality through an operational semantics of contexts – K G Larsen, X Liu - 1991
32 Mapping Tile Logic into Rewriting Logic – J. Meseguer - 1998
166 Functorial Semantics of Algebraic Theories – F W Lawvere - 1963
19 Variable binding operators in transition system specifications – C. A. Middelburg - 2001
38 The meaning of negative premises in transition system specifications II – R.J. van Glabbeek - 2004
1330 A Calculus of Communicating Systems – R Milner - 1980