TITLE     : State to function labelled transition systems: a uniform framework for defining stochastic process calculi
AUTHOR(S) : De Nicola Rocco, Latella Diego, Loreti Michele, Massink Mieke
TYPE      : Other
YEAR      : 2011
CODE      : 207147

*** DO NOT EDIT THIS FILE ***