Theoretical Computer Science ( IF 0.747 ) Pub Date : 2021-04-07 , DOI: 10.1016/j.tcs.2021.04.001 Yuxi Fu
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 choices and nondeterministic actions. The paper proposes a uniform approach to probabilistic process models and a bisimulation theory for probabilistic concurrency.