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á bibliografie

Vydáno v:	Theoretical computer science Ročník 419; s. 26 - 49
Hlavní autoři:	Caravagna, Giulio, Hillston, Jane
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 17.02.2012
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!