Loreti & Mieke Massink (2013): A uniform definition of stochastic process calculi (0)

by Rocco De Nicola, Diego Latella, Michele
Venue:ACM Computing Surveys