Ordered SOS Process Languages for Branching and Eager Bisimulations (2002)

Cached

Download Links

by Irek Ulidowski , Iain Phillips
Venue:INFORMATION AND COMPUTATION
Citations:2 - 0 self

Active Bibliography

10 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
102 Priorities in process algebra – Rance Cleaveland, Gerald Lüttgen, V. Natarajan - 1999
7 Formats of Ordered SOS Rules with Silent Actions – Irek Ulidowski, Iain Phillips - 1997
8 Finite axiom systems for testing preorder and De Simone Process Languages – Irek Ulidowski - 2000
18 Precongruence Formats for Decorated Trace Semantics – Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
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
36 A general conservative extension theorem in process algebra – Pedro R. D’Argenio, Chris Verhoef - 1994
Notions of bisimulation and congruence formats – Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote - 2004
15 Rooted branching bisimulation as a congruence – Wan Fokkink - 2000
4 Ordered SOS Rules and Weak Bisimulation – Iain Phillips, Irek Ulidowski - 1996
Delayed Choice for Process Algebra With Abstraction – Pedro D'Argenio, Sjouke Mauw, S. Mauw - 1995
95 A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time – Marco Bernardo, Roberto Gorrieri - 1998
31 A Conservative Look at Operational Semantics with Variable Binding – Wan Fokkink, Chris Verhoef - 1998
2 Wind: Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation – Wan Fokkink, Rob Van Glabbeek, Paulien De Wind - 2005
1 Stable and Timed Formats for Process Algebra – Iain Phillips, Irek Ulidowski - 1995
7 Decidability Issues for Infinite-State Processes -- a Survey – Søren Christensen, Hans Hüttel - 1996
Axiomatizing Weak Simulation Semantics over BCCSP ⋆ – Luca Aceto, David De Frutos Escrig, Anna Ingolfsdottir
56 A brief history of process algebra – J. C. M. Baeten - 2004