TITLE : A uniform definition of stochastic process calculi AUTHOR(S) : De Nicola R, Latella D, Loreti M, Massink M TYPE : Journal article YEAR : 2013 CODE : 268766 *** DO NOT EDIT THIS FILE ***