A Uniform Approach to Random Process Model

TL;DR

This paper introduces a unified framework for probabilistic process models and defines a bisimulation congruence to better understand probabilistic concurrency, addressing gaps in the study of interactive probabilistic systems.

Contribution

It proposes a novel uniform approach to probabilistic process models and introduces a bisimulation congruence for probabilistic concurrency, filling a research gap.

Findings

Unified probabilistic process model framework

Bisimulation congruence for probabilistic concurrency

Addresses the interaction complexity in probabilistic systems

Abstract

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.