281 citations
- University of AmsterdamNL26 papers
- Eindhoven University of TechnologyNL22 papers
- College of Western IdahoUS7 papers
- University of CambridgeGB5 papers
- Universidad Pública de Navarra (UPNA)ES4 papers
- University of WaterlooCA4 papers
- Vrije Universiteit AmsterdamNL4 papers
- ETH ZurichCH3 papers
- Université de BordeauxFR3 papers
- University of BristolGB3 papers
- Berkeley CollegeUS2 papers
- California Institute of TechnologyUS2 papers
Showing 2008 · cs.LOShow all
2 papers · 2 filters
cs.LO2008★ 1 cited
Branching Bisimilarity with Explicit Divergence
Rob van Glabbeek, Bas Luttik, Nikola Trcka
We consider the relational characterisation of branching bisimilarity with explicit divergence. We prove that it is an equivalence and that it coincides with the original definitio…
cs.LO2008
On Finite Bases for Weak Semantics: Failures versus Impossible Futures
Taolue Chen, Wan Fokkink, Rob van Glabbeek
We provide a finite basis for the (in)equational theory of the process algebra BCCS modulo the weak failures preorder and equivalence. We also give positive and negative results re…