Axiomatizing GSOS with Termination (2004)

Cached

Download Links

by J.C.M. Baeten , E.P. de Vink
Venue:THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Citations:20 - 1 self

Active Bibliography

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
18 Precongruence Formats for Decorated Trace Semantics – Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
2 Rule Formats for Distributivity ⋆ – Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, Mohammadreza Mousavi, Michel A. Reniers
6 A Hierarchy of SOS Rule Formats – Jan Friso Groote, MohammadReza Mousavi, Michel A. Reniers - 2005
3 Structural operational semantics and bounded nondeterminism – Wan Fokkink, Thuy Duong Vu - 2003
Notions of bisimulation and congruence formats – Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote - 2004
9 Rule formats for determinism and idempotence – Luca Aceto, Arnar Birgisson, Anna Ingolfsdottir, Mohammadreza Mousavi, Michel A. Reniers - 2009
10 A conservative look at term deduction systems with variable binding – Wan Fokkink, Chris Verhoef - 1995
Axiomatizing Weak Simulation Semantics over BCCSP ⋆ – Luca Aceto, David De Frutos Escrig, Anna Ingolfsdottir
Axiomatizing GSOS with Termination J.C.M. Baeten – And Vink Departmt, J. C. M. Baeten, E. P. De Vink - 2002
10 From Bialgebraic Semantics to Congruence Formats – Bartek Klin - 2005
15 Rooted branching bisimulation as a congruence – Wan Fokkink - 2000
5 Reniers. Timed process algebra (with a focus on explicit termination and relative-timing – J. C. M. Baeten, M. A. Reniers - 2004
36 A general conservative extension theorem in process algebra – Pedro R. D’Argenio, Chris Verhoef - 1994
4 Language preorder as a precongruence – Wan Fokkink
4 Precongruence Formats for Decorated Trace Preorders – Bard Bloom, Wan Fokkink, Rob Van Glabbeek - 2000
2 Wind: Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation – Wan Fokkink, Rob Van Glabbeek, Paulien De Wind - 2005
Delayed Choice for Process Algebra With Abstraction – Pedro D'Argenio, Sjouke Mauw, S. Mauw - 1995