Ntyft/ntyxt rules reduce to ntree rules (1996)

by Wan Fokkink , Rob Van Glabbeek
Venue:Information and Computation
Citations:54 - 18 self

Documents Related by Co-Citation

1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
196 Bisimulation can’t be traced – B Bloom, S Istrail, A R Meyer - 1995
189 Structured Operational Semantics and Bisimulation as a Congruence, Information and Computation 100 – J F Groote, F Vaandrager - 1992
116 Transition system specifications with negative premises – J F Groote - 1993
109 A Congruence Theorem for Structured Operational Semantics With Predicates – J.C.M. Baeten, C. Verhoef - 1993
74 The meaning of negative premises in transition system specifications – R N Bol, J F Groote - 1996
38 The meaning of negative premises in transition system specifications II – R.J. van Glabbeek - 2004
3219 Communication and Concurrency – R Milner - 1990
63 Higher-level synchronising devices in Meije–SCCS. Theoretical Computer Science 37(3), pp. 245–267. A Modal Characterisation of η-Bisimulation We prove the first part of Thm. 2.5, which states that η is a modal characterisation of η-bisimulation equivalenc – Robert De Simone, Communicated M. Nivat - 1985
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
1499 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
32 A Conservative Look at Operational Semantics with Variable Binding – Wan Fokkink, Chris Verhoef - 1998
850 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
658 Concurrency and automata on infinite sequences – D Park - 1981
36 A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages – Karen L. Bernstein - 1997
139 Well-Founded Semantics Coincides with Three-Valued Stable Semantics – Teodor Przymusinski - 1990
495 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
125 Structural Operational Semantics – Luca Aceto, Wan Fokkink, Chris Verhoef - 1999