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

Celý popis

Podrobná bibliografia

Vydané v:	Theoretical computer science Ročník 419; s. 26 - 49
Hlavní autori:	Caravagna, Giulio, Hillston, Jane
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 17.02.2012
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!