TITLE     : Rate-based transition systems for stochastic process calculi
AUTHOR(S) : De Nicola R., Latella D., Loreti M., Massink M.
TYPE      : Journal article
YEAR      : 2009
CODE      : 44306

*** DO NOT EDIT THIS FILE ***