|
5
|
SOS formats and meta-theory: 20 years after
– Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote
- 2007
|
|
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
|
|
5
|
A Hierarchy of SOS Rule Formats
– Jan Friso Groote, MohammadReza Mousavi, Michel A. Reniers
- 2005
|
|
2
|
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
|
|
10
|
A conservative look at term deduction systems with variable binding. Logic group preprint series 140
– Wan Fokkink, Chris Verhoef
- 1995
|
|
10
|
From Bialgebraic Semantics to Congruence Formats
– Bartek Klin
- 2005
|
|
12
|
Rooted branching bisimulation as a congruence
– Wan Fokkink
- 2000
|
|
36
|
A general conservative extension theorem in process algebra
– Pedro R. D’Argenio, Chris Verhoef
- 1994
|
|
4
|
Language preorder as a precongruence
– Wan Fokkink
|
|
4
|
Precongruence Formats for Decorated Trace Preorders
– Bard Bloom, Wan Fokkink, Rob Van Glabbeek
- 2000
|
|
|
Delayed Choice for Process Algebra With Abstraction
– Pedro D'Argenio, Sjouke Mauw, S. Mauw
- 1995
|
|
22
|
Delayed choice: an operator for joining Message Sequence Charts
– Jos Baeten, Sjouke Mauw, J. C. M. Baeten, S. Mauw
- 1994
|
|
|
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras ⋆
– Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Mohammadreza Mousavi
|
|
3
|
Register-Machine based Processes
– Jan A. Bergstra, Alban Ponse
- 2001
|
|
94
|
Priorities in process algebra
– Rance Cleaveland, Gerald Lüttgen, V. Natarajan
- 1999
|
|
5
|
Structural Operational Semantics for Stochastic Process Calculi
– Bartek Klin, Vladimiro Sassone
|
|
25
|
Process algebra with timing: real time and discrete time
– J. C. M. Baeten, C. A. Middelburg
- 2001
|
