Bio-PEPAd: A non-Markovian extension of Bio-PEPA

Delays in biological systems may be used to model events for which the underlying dynamics cannot be precisely observed, or to provide abstraction of some behavior of the system resulting in more compact models. In this paper, we enrich the stochastic process algebra Bio-PEPA, with the possibility o...

Full description

Bibliographic Details

Published in:	Theoretical computer science Vol. 419; pp. 26 - 49
Main Authors:	Caravagna, Giulio, Hillston, Jane
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 17.02.2012
Subjects:	Bio-PEPA DDEs Delay-as-duration DSSA GSMPs Non-Markovian process algebra DDEs Delay-as-duration GSMPs Non-Markovian process algebra DSSA Bio-PEPA
ISSN:	0304-3975, 1879-2294
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!