A stochastic π-calculus semantics for PEPA nets

Linda Brodo; Stephen Gilmore; Jane Hillston; Corrado Priami

A stochastic π-calculus semantics for PEPA nets

Linda Brodo, Stephen Gilmore, Jane Hillston, Corrado Priami

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract / Description of output

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 language	English
Title of host publication	Proceedings of the Workshop on Process Algebras and Stochastically Timed Activities (PASTA 2002)
Pages	1-17
Number of pages	17
Publication status	Published - Jun 2002

Access to Document

http://homepages.inf.ed.ac.uk/stg/workshops/PASTA/2002/proceedings/

Cite this

@inproceedings{50f7592c9d044ab48b64228132357012,

title = "A stochastic π-calculus semantics for PEPA nets",

abstract = "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.",

author = "Linda Brodo and Stephen Gilmore and Jane Hillston and Corrado Priami",

year = "2002",

month = jun,

language = "English",

pages = "1--17",

booktitle = "Proceedings of the Workshop on Process Algebras and Stochastically Timed Activities (PASTA 2002)",

}

TY - GEN

T1 - A stochastic π-calculus semantics for PEPA nets

AU - Brodo, Linda

AU - Gilmore, Stephen

AU - Hillston, Jane

AU - Priami, Corrado

PY - 2002/6

Y1 - 2002/6

N2 - 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.

AB - 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.

M3 - Conference contribution

SP - 1

EP - 17

BT - Proceedings of the Workshop on Process Algebras and Stochastically Timed Activities (PASTA 2002)

ER -

A stochastic π-calculus semantics for PEPA nets

Abstract / Description of output

Access to Document

Fingerprint

Cite this