DeepAI
Log In Sign Up

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

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...
01/09/2019

Incentivising Privacy in Cryptocurrencies

This paper briefly discusses ways to incentivise privacy in cryptocurren...
01/26/2023

The aromatic bicomplex for the description of divergence-free aromatic forms and volume-preserving integrators

Aromatic B-series were introduced as an extension of standard Butcher-se...
07/12/2018

Gradual Parametricity, Revisited

Bringing the benefits of gradual typing to a language with parametric po...
04/17/2020

Projection-Cost-Preserving Sketches: Proof Strategies and Constructions

In this note we illustrate how common matrix approximation methods, such...