A Theory of Nondeterministic and Probabilistic Processes

We give an overview of a semantic theory of processes which exhibit both non-deterministic and probabilistic behaviour. Our approach is based on the ability of processes to pass tests, representing the possible interactions between processes and their observers. We explain how such behaviour, expressed in terms of a preorder between processes, can be captured by a coinductively defined notion of probabilistic simulation.

Reference:
Yuxin Deng, Rob van Glabbeek, Matthew Hennessy, Carroll Morgan. Testing Finitary Probabilistic Processes, Proceedings of CONCUR 2009.