On divergence-sensitive weak probabilistic bisimilarity

DOI10.1016/j.ic.2023.105033MaRDI QIDQ6040671

Yi-Xiang Chen, Hengyang Wu, Kangli He

Publication date: 19 May 2023

Published in: Information and Computation (Search for Journal in Brave)

zbMATH Keywords

verificationdivergenceconcurrencyprobabilistic automatonweak probabilistic bisimulation

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Deciding probabilistic automata weak bisimulation: theory and practice
• Polynomial time decision algorithms for probabilistic automata
• Bisimulation minimization and symbolic model checking
• Minimal probabilistic P systems for modelling ecological systems
• CCS expressions, finite state processes, and three problems of equivalence
• Testing Finitary Probabilistic Processes
• Three Partition Refinement Algorithms
• Branching time and abstraction in bisimulation semantics
• Analyzing divergence in bisimulation semantics
• Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
• Cost Preserving Bisimulations for Probabilistic Automata