Probabilistic communicating processes (1992)

by K Seidel