TITLE     : Rate-Based Transition Systems for Stochastic Process Calculi
AUTHOR(S) : De Nicola R, Latella D, Loreti M, Massink M
TYPE      : Conference article
YEAR      : 2009
CODE      : 176092

*** DO NOT EDIT THIS FILE ***