A New Branching Bisimulation for Probabilistic Processes

Guo Li; Zhaokai Li; Xinxin Liu; Zhiming Liu; Quan Sun; Wei Zhang

A New Branching Bisimulation for Probabilistic Processes

Logic in Computer Science 2026-07-18 v1

Authors: Guo Li , Zhaokai Li , Xinxin Liu , Zhiming Liu , Quan Sun , Wei Zhang

Abstract

We introduce a new branching bisimulation for probabilistic processes, which induces a more refined equivalence relation than any known equivalence that abstracts from unobservable actions, with a rooted version that is a congruence for a language of probabilistic process with the usual static as well as dynamic constructs including recursion.

Cite

@article{arxiv.2607.16757,
  title  = {A New Branching Bisimulation for Probabilistic Processes},
  author = {Guo Li and Zhaokai Li and Xinxin Liu and Zhiming Liu and Quan Sun and Wei Zhang},
  journal= {arXiv preprint arXiv:2607.16757},
  year   = {2026}
}

Comments

18 pages, 1 figure