The meaning of negative premises in transition system specifications II (2004)

by R.J. van Glabbeek
Venue:THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Citations:38 - 5 self

Active Bibliography

15 Rooted branching bisimulation as a congruence – Wan Fokkink - 2000
19 Variable binding operators in transition system specifications – C. A. Middelburg - 2001
18 Precongruence Formats for Decorated Trace Semantics – Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
31 A Conservative Look at Operational Semantics with Variable Binding – Wan Fokkink, Chris Verhoef - 1998
4 Precongruence Formats for Decorated Trace Preorders – Bard Bloom, Wan Fokkink, Rob Van Glabbeek - 2000
10 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
54 Ntyft/ntyxt rules reduce to ntree rules – Wan Fokkink, Rob Van Glabbeek - 1996
10 A conservative look at term deduction systems with variable binding – Wan Fokkink, Chris Verhoef - 1995
9 Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories – Wan Fokkink, Chris Verhoef - 1998
2 Ordered SOS Process Languages for Branching and Eager Bisimulations – Irek Ulidowski, Iain Phillips - 2002
1 Structural congruences and structural operational semantics – Mohammadreza Mousavi, Michel Reniers - 2004
6 A Hierarchy of SOS Rule Formats – Jan Friso Groote, MohammadReza Mousavi, Michel A. Reniers - 2005
2 Wind: Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation – Wan Fokkink, Rob Van Glabbeek, Paulien De Wind - 2005
3 Structural operational semantics and bounded nondeterminism – Wan Fokkink, Thuy Duong Vu - 2003
4 Language preorder as a precongruence – Wan Fokkink
5 A syntactic commutativity format for SOS – Mohammadreza Mousavi, Michel Reniers, Jan Friso Groote - 2005
1 SOS for Higher Order Processes (Extended Abstract) – Mohammadreza Mousavi, Murdoch J. Gabbay, Michel A. Reniers
8 Compositionality of Hennessy-Milner logic through structural operational semantics – Wan Fokkink, Rob Van Glabbeek, Paulien De Wind - 2003
Notions of bisimulation and congruence formats – Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote - 2004