Characterising Probabilistic Processes Logically

Yuxin Deng, Rob van Glabbeek

In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the modal mu-…