Population models from PEPA descriptions.

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

Abstract

Stochastic process algebras such as PEPA have enjoyed considerable success as CTMC-based system description languages for performance evaluation of computer and communication systems. However they have not been able to escape the problem of state space explosion, and this problem is exacerbated when other domains such as systems biology are considered. Therefore we have been investigating alternative semantics for PEPA models which give rise to a population view of the system, in terms of a set of nonlinear ordinary differential equations. This extended abstract gives an overview of this mapping.
Original languageEnglish
Title of host publicationSimulation and Verification of Dynamic Systems
EditorsDavid M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher
PublisherInternationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany
Volume06161
Publication statusPublished - 2006

Publication series

NameDagstuhl Seminar Proceedings
PublisherInternationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany

Fingerprint

Dive into the research topics of 'Population models from PEPA descriptions.'. Together they form a unique fingerprint.

Cite this