A stochastic π-calculus semantics for PEPA nets

Linda Brodo, Stephen Gilmore, Jane Hillston, Corrado Priami

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationProceedings of the Workshop on Process Algebras and Stochastically Timed Activities (PASTA 2002)
Number of pages17
Publication statusPublished - Jun 2002

Fingerprint Dive into the research topics of 'A stochastic π-calculus semantics for PEPA nets'. Together they form a unique fingerprint.

Cite this