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:22 - 1 self

Active Bibliography

2 Ordered SOS Process Languages for Branching and Eager Bisimulations – Irek Ulidowski, Iain Phillips - 2002
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
Acta Informatica manuscript No. (will be inserted by the editor) Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras – Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Mohammadreza Mousavi
3 Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras – Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, MohammadReza Mousavi
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
4 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
Rule Formats for Determinism and Idempotence ✩ – Luca Aceto A, Arnar Birgisson B, Anna Ingolfsdottir A, Mousavi C, Michel A. Reniers C
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
10 From Bialgebraic Semantics to Congruence Formats – Bartek Klin - 2005
15 Rooted branching bisimulation as a congruence – Wan Fokkink - 2000
3 Equivalence semantics for concurrency: comparison and application – Vashti Christina Galpin - 1998
36 A general conservative extension theorem in process algebra – Pedro R. D’Argenio, Chris Verhoef - 1994
4 Language preorder as a precongruence – Wan Fokkink
SOS Rule Formats for Zero and Unit Elements ✩ – Luca Aceto A, Matteo Cimini A, Anna Ingolfsdottir A, Mousavi B, Michel A. Reniers B
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators ⋆ – Luca Aceto, Eugen-ioan Goriac, Anna Ingolfsdottir