We provide a semantics for a subset of the PEPA nets modelling language by mapping it into the stochastic π-calculus. The mapping provides an opportunity to contrast the well-known small-step operational semantics style with the definition induced by language embedding and to study the definitions of equivalences between models in the two styles.
|Title of host publication||Proceedings of the Workshop on Process Algebras and Stochastically Timed Activities (PASTA 2002)|
|Number of pages||17|
|Publication status||Published - Jun 2002|