Algebraic theory of probabilistic and nondeterministic processes.
Probabilistic and nondeterministic processes
scientific article; zbMATH DE number 1963586