2019/06/23 by Yuxi Fu, Fu, Yuxi
Computer Science · #Advanced Database Systems and Queries #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #cs.LO
paper · pdf · doi:10.48550/arxiv.1906.09541
arxiv created 2019/06/23 · openalex publication_date 2019/06/23 · arxiv updated 2019/06/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
There is a lot of research on probabilistic transition systems. There are not many studies in probabilistic process models. The lack of investigation into the interactive aspect of probabilistic processes is mainly due to the difficulty caused by the discrepancy between probabilistic actions and nondeterministic behaviours. The paper proposes a uniform approach to probabilistic process models and a bisimulation congruence for probabilistic concurrency.