Work

On Inductive Characterization for Divergence-sensitive Probabilistic Branching Bisimilarity

Year: 2026

Type: article

Abstract: Recently a divergence-sensitive branching bisimilarity has been proposed and studied for the randomized CCS model. In this article, we give an equivalent inductive characterization for the bisimilarity, which is a probabilistic extension of the previous work on the non-probabilistic model. Based on the new characterization, a novel polynomial-time verification algorithm for the divergence-sensitive branching bisimilarity is proposed.

Source: Formal Aspects of Computing

DOI: 10.1145/3803544

Authors: Hao Wu, Yuxi Fu, Huan Long, Xian Xu, Wenbo Zhang

Institutions: Shanghai Jiao Tong University, Shanghai Maritime University, East China University of Science and Technology, Shanghai Ocean University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $2,780

Funders: National Natural Science Foundation of China, Science and Technology Commission of Shanghai Municipality