Probabilistic communicating processes (1995)

by K Seidel
Venue:Theoret. Comp. Science