The Tyft/tyxt Format Reduces to Tree Rules (1993)

Cached

Download Links

by W. J. Fokkink , Willem Jan Fokkink
Venue:Proceedings 2nd Symposium on Theoretical Aspects of Computer Software (TACS'94), Sendai, Japan, LNCS 789
Citations:16 - 4 self

Active Bibliography

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
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
4 Language preorder as a precongruence – Wan Fokkink
15 Rooted branching bisimulation as a congruence – Wan Fokkink - 2000
10 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
2 Ordered SOS Process Languages for Branching and Eager Bisimulations – Irek Ulidowski, Iain Phillips - 2002
9 Axiomatisations of Weak Equivalences for De Simone Languages – Irek Ulidowski - 1995
1 Stable and Timed Formats for Process Algebra – Iain Phillips, Irek Ulidowski - 1995
4 Ordered SOS Rules and Weak Bisimulation – Iain Phillips, Irek Ulidowski - 1996
19 Full Abstraction in Structural Operational Semantics (Extended Abstract) – Rob Van Glabbeek - 1993
8 Finite axiom systems for testing preorder and De Simone Process Languages – Irek Ulidowski - 2000
38 The meaning of negative premises in transition system specifications II – R.J. van Glabbeek - 2004
Structured Operational Semantics and . . . – Jan Frisco Groote, et al. - 1992
87 Turning SOS Rules into Equations – Luca Aceto, Bard Bloom, Frits Vaandrager - 1994
Delayed Choice for Process Algebra With Abstraction – Pedro D'Argenio, Sjouke Mauw, S. Mauw - 1995
Structural Operational Semantics Specifications for True Concurrency – J.V. Echag├╝e, Z. Habbas, S. Pinchinat - 1995
108 A Congruence Theorem for Structured Operational Semantics With Predicates – J.C.M. Baeten, C. Verhoef - 1993