Ntyft/ntyxt rules reduce to ntree rules (1996)

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

Active Bibliography

12 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
18 Precongruence Formats for Decorated Trace Semantics – Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
32 A Conservative Look at Operational Semantics with Variable Binding – Wan Fokkink, Chris Verhoef - 1998
15 Rooted branching bisimulation as a congruence – Wan Fokkink - 2000
10 A conservative look at term deduction systems with variable binding – Wan Fokkink, Chris Verhoef - 1995
6 A Hierarchy of SOS Rule Formats – Jan Friso Groote, MohammadReza Mousavi, Michel A. Reniers - 2005
4 Precongruence Formats for Decorated Trace Preorders – Bard Bloom, Wan Fokkink, Rob Van Glabbeek - 2000
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
16 The Tyft/tyxt Format Reduces to Tree Rules – W. J. Fokkink, Willem Jan Fokkink - 1993
2 Ordered SOS Process Languages for Branching and Eager Bisimulations – Irek Ulidowski, Iain Phillips - 2002
4 Structural operational semantics and bounded nondeterminism – Wan Fokkink, Thuy Duong Vu - 2003
1 Structural congruences and structural operational semantics – Mohammadreza Mousavi, Michel Reniers - 2004
1 Stable and Timed Formats for Process Algebra – Iain Phillips, Irek Ulidowski - 1995
19 Full Abstraction in Structural Operational Semantics (Extended Abstract) – Rob Van Glabbeek - 1993
1 Transition System Specifications in Stalk Format With Bisimulation as a Congruence – Van Oostrom, E. P. De Vink - 1994
109 A Congruence Theorem for Structured Operational Semantics With Predicates – J.C.M. Baeten, C. Verhoef - 1993
8 Finite axiom systems for testing preorder and De Simone Process Languages – Irek Ulidowski - 2000
8 Compositionality of Hennessy-Milner logic through structural operational semantics – Wan Fokkink, Rob Van Glabbeek, Paulien De Wind - 2003