PROBABILISTIC COMMUNICATING PROCESSES
Karen Seidel
Abstract
In this thesis, we develop a mathematical formalism for the specification and proof of correctness of probabilistic communicating processes. This formalism combines a notion of probabilistic correctness with the theory of concurrency provided by the language of Communicating Sequential Processes (CSP).
Institution
OUCL
Month
October
Number
PRG102
Pages
132
Year
1992