Uniform random process model revisited

DOI10.1007/978-3-030-34175-6_20zbMATH Open1542.68108MaRDI QIDQ6536319

Wen-bo Zhang, Huan Long, Xian Xu

Publication date: 19 April 2024

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bisimulation through probabilistic testing
• A complete axiomatisation for observational congruence of finite-state behaviours
• Reactive, generative, and stratified models of probabilistic processes
• Axiomatizing probabilistic processes: ACP with generative probabilities
• Branching time and abstraction in bisimulation semantics
• Checking Equality and Regularity for Normed BPA with Silent Moves
• Equivalence-checking on infinite-state systems: Techniques and results
• Semantics of Probabilistic Processes
• Foundations of Software Science and Computational Structures

Related Items (1)

Branching bisimulation semantics for quantum processes

This page was built for publication: Uniform random process model revisited