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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Theoretical computer science Jg. 419; S. 26 - 49
Hauptverfasser:	Caravagna, Giulio, Hillston, Jane
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 17.02.2012
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!