|
35
|
A brief history of process algebra
– J. C. M. Baeten
- 2004
|
|
18
|
Process Algebra with Iteration
– Jan A. Bergstra, Inge Bethke, Alban Ponse
- 1994
|
|
2
|
On the Operational Semantics of Nondeterminism and Divergence
– Hakan Erdogmus, Robert Johnston, Michael Ferguson
- 1995
|
|
5
|
Partial-Order Process Algebra (and its Relation to Petri Nets)
– J.C.M. Baeten, T. Basten
- 2000
|
|
30
|
Refinement of Actions and Equivalence Notions for Concurrent Systems
– Rob Van Glabbeek, Ursula Goltz
- 1998
|
|
11
|
Nested Semantics over Finite Trees are Equationally Hard
– Luca Aceto, Wan Fokkink, Rob van Glabbeek, Anna Ingolfsdottir
- 2003
|
|
1
|
Reniers. Designing and understanding the behaviour of systems: Lecture notes for RADV
– Jan Friso Groote, Michel Reniers
- 2007
|
|
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
|
|
1
|
Model Theory For Process Algebra
– J. A. Bergstra, C. A. Middelburg
- 2004
|
|
18
|
CCS with Hennessy’s merge has no finite equational axiomatization
– Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
- 2005
|
|
|
Synthesizing Distunguishing Formulae for Real Time Systems
– Jens Chr. Godskesen, Kim G. Larsen
- 1994
|
|
23
|
Modal Logic, Transition Systems and Processes
– Johan van Benthem, Jan van Eijck, Vera Stebletsova
- 1994
|
|
1
|
Wind: Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation
– Wan Fokkink, Rob Van Glabbeek, Paulien De Wind
- 2005
|
|
10
|
Process Algebra with Recursive Operations
– Jan Bergstra, Wan Fokkink, Alban Ponse
|
|
|
Transmission Protocols for Instruction Streams
– J. A. Bergstra, C. A. Middelburg
- 902
|
|
77
|
Turning SOS Rules into Equations
– Luca Aceto, Bard Bloom, Frits Vaandrager
- 1994
|
|
10
|
From Bialgebraic Semantics to Congruence Formats
– Bartek Klin
- 2005
|
|
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
|
