Probabilistic communicating processes (1995)

by K Seidel