|
5
|
SOS formats and meta-theory: 20 years after
– Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote
- 2007
|
|
94
|
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
|
|
7
|
Finite axiom systems for testing preorder and De Simone Process Languages
– Irek Ulidowski
- 2000
|
|
15
|
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. Logic group preprint series 140
– 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
|
|
12
|
Rooted branching bisimulation as a congruence
– Wan Fokkink
- 2000
|
|
|
Delayed Choice for Process Algebra With Abstraction
– Pedro D'Argenio, Sjouke Mauw, S. Mauw
- 1995
|
|
4
|
Ordered SOS Rules and Weak Bisimulation
– Iain Phillips, Irek Ulidowski
- 1996
|
|
82
|
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
– Marco Bernardo, Roberto Gorrieri
- 1998
|
|
29
|
A Conservative Look at Operational Semantics with Variable Binding
– Wan Fokkink, Chris Verhoef
- 1998
|
|
1
|
Stable and Timed Formats for Process Algebra
– Iain Phillips, Irek Ulidowski
- 1995
|
|
8
|
Decidability Issues for Infinite-State Processes - a Survey
– Søren Christensen, Datalogisk Afdeling, Ny Munkegade, Hans Hüttel, Afdeling For, Matematik Og Datalogi, Aalborg Universitetscenter
- 1996
|
|
35
|
A brief history of process algebra
– J. C. M. Baeten
- 2004
|
|
13
|
Axiomatizing GSOS with Termination
– J.C.M. Baeten , E.P. de Vink
- 2004
|
|
4
|
Language preorder as a precongruence
– Wan Fokkink
|
|
1
|
Structural congruences and structural operational semantics
– Mohammadreza Mousavi, Michel Reniers
- 2004
|
