Rate-Based Transition Systems for Stochastic Process Calculi.

Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink

Browse the full ICALP paper archive.