Divergence-Preserving Branching Bisimilarity

08/31/2020
by   Bas Luttik, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

01/03/2018

Rooted Divergence-Preserving Branching Bisimilarity is a Congruence

We prove that rooted divergence-preserving branching bisimilarity is a c...
05/17/2021

A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours

We present an equational inference system for finite-state expressions, ...
06/13/2019

A technical note on divergence of the Wald statistic

The Wald test statistic has been shown to diverge (Dufour et al, 2013, 2...
03/20/2019

Note on bounds for symmetric divergence measures

I. Sason obtained the tight bounds for symmetric divergence measures are...
05/18/2018

Relationship between the Bregman divergence and beta-divergence and their Applications

The Bregman divergence have been the subject of several studies. We do n...
04/17/2020

Projection-Cost-Preserving Sketches: Proof Strategies and Constructions

In this note we illustrate how common matrix approximation methods, such...
07/12/2018

Gradual Parametricity, Revisited

Bringing the benefits of gradual typing to a language with parametric po...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.