This note considers the notion of divergence-preserving branching bisimilarity. It briefly surveys results pertaining to the notion that have been obtained in the past one-and-a-half decade, discusses its role in the study of expressiveness of process calculi, and concludes with some suggestions for future work.</p
Abstract. We consider the relational characterisation of branching bisimulation with explicit diverg...
International audienceWe study proof techniques for bisimilarity based on unique solution of equatio...
International audienceBranching bisimilarity and branching bisimilarity with explicit divergences ar...
This note considers the notion of divergence-preserving branching bisimilarity. It briefly surveys r...
We prove that rooted divergence-preserving branching bisimilarity is a congruence for the process sp...
Abstract. We consider the relational characterisation of branching bisimilarity with explicit diver-...
We consider the relational characterisation of branching bisimilarity with explicit divergence. We p...
Branching bisimilarity and branching bisimilarity with explicit divergences are typically used in pr...
We consider the relational characterisation of branching bisimilarity with explicit divergence. We p...
Branching bisimilarity and branching bisimilarity with explicit divergences are typically used in pr...
Introduction In [9], branching bisimilarity has been introduced as an equivalence relation on proces...
Abstract. We consider the relational characterisation of branching bisimulation with explicit diverg...
International audienceWe study proof techniques for bisimilarity based on unique solution of equatio...
International audienceBranching bisimilarity and branching bisimilarity with explicit divergences ar...
This note considers the notion of divergence-preserving branching bisimilarity. It briefly surveys r...
We prove that rooted divergence-preserving branching bisimilarity is a congruence for the process sp...
Abstract. We consider the relational characterisation of branching bisimilarity with explicit diver-...
We consider the relational characterisation of branching bisimilarity with explicit divergence. We p...
Branching bisimilarity and branching bisimilarity with explicit divergences are typically used in pr...
We consider the relational characterisation of branching bisimilarity with explicit divergence. We p...
Branching bisimilarity and branching bisimilarity with explicit divergences are typically used in pr...
Introduction In [9], branching bisimilarity has been introduced as an equivalence relation on proces...
Abstract. We consider the relational characterisation of branching bisimulation with explicit diverg...
International audienceWe study proof techniques for bisimilarity based on unique solution of equatio...
International audienceBranching bisimilarity and branching bisimilarity with explicit divergences ar...
DOI
Add to ORKG