Weighted and Branching Bisimilarities from Generalized Open Maps

01/17/2023
by   Jérémy Dubut, et al.
0

In the open map approach to bisimilarity, the paths and their runs in a given state-based system are the first-class citizens, and bisimilarity becomes a derived notion. While open maps were successfully used to model bisimilarity in non-deterministic systems, the approach fails to describe quantitative system equivalences such as probabilistic bisimilarity. In the present work, we see that this is indeed impossible and we thus generalize the notion of open maps to also accommodate weighted and probabilistic bisimilarity. Also, extending the notions of strong path and path bisimulations into this new framework, we show that branching bisimilarity can be captured by this extended theory and that it can be viewed as the history preserving restriction of weak bisimilarity.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/22/2019

Codensity Games for Bisimilarity

Bisimilarity as an equivalence notion of systems has been central to pro...
research
06/01/2021

Extended retraction maps: a seed of geometric integrators

The classical notion of retraction map used to approximate geodesics is ...
research
09/26/2020

Effective Kan fibrations in simplicial sets

We introduce the notion of an effective Kan fibration, a new mathematica...
research
10/26/2020

On Linear Representation, Complexity and Inversion of maps over finite fields

The paper primarily addressed the problem of linear representation, inve...
research
07/26/2023

Generalizing Weighted Path Orders

We show that weighted path orders are special instances of a variant of ...
research
04/22/2019

A comonadic view of simulation and quantum resources

We study simulation and quantum resources in the setting of the sheaf-th...
research
04/05/2023

List and Certificate Complexities in Replicable Learning

We investigate replicable learning algorithms. Ideally, we would like to...

Please sign up or login with your details

Forgot password? Click here to reset