|
35
|
A brief history of process algebra
– J. C. M. Baeten
- 2004
|
|
5
|
SOS formats and meta-theory: 20 years after
– Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote
- 2007
|
|
5
|
Structural Operational Semantics for Stochastic Process Calculi
– Bartek Klin, Vladimiro Sassone
|
|
2
|
Ordered SOS Process Languages for Branching and Eager Bisimulations
– Irek Ulidowski, Iain Phillips
- 2002
|
|
15
|
Precongruence Formats for Decorated Trace Semantics
– Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
|
|
1
|
On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi
– Xian Xu
|
|
|
Bialgebraic Operational Semantics and Modal Logic (extended abstract)
– Bartek Klin
|
|
|
Notions of bisimulation and congruence formats
– Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
- 2004
|
|
4
|
Bialgebraic Methods and Modal Logic in Structural Operational Semantics
– Bartek Klin
- 2007
|
|
1
|
Structural congruences and structural operational semantics
– Mohammadreza Mousavi, Michel Reniers
- 2004
|
|
8
|
Syntactic formats for free: An abstract approach to process equivalence
– Bartek Klin
- 2003
|
|
24
|
Undecidable Equivalences for Basic Parallel Processes
– Hans Hüttel
- 1993
|
|
5
|
Bialgebraic methods in structural operational semantics
– Bartek Klin
- 2007
|
|
94
|
Priorities in process algebra
– Rance Cleaveland, Gerald Lüttgen, V. Natarajan
- 1999
|
|
7
|
Branching vs. linear time – semantical perspective
– Sumit Nain, Moshe Y. Vardi
|
|
2
|
On the Operational Semantics of Nondeterminism and Divergence
– Hakan Erdogmus, Robert Johnston, Michael Ferguson
- 1995
|
|
1
|
An algorithm to quantify behavioural similarity between probabilistic systems
– Babita Sharma
- 2006
|
|
13
|
Axiomatizing GSOS with Termination
– J.C.M. Baeten , E.P. de Vink
- 2004
|
|
5
|
A Hierarchy of SOS Rule Formats
– Jan Friso Groote, MohammadReza Mousavi, Michel A. Reniers
- 2005
|
