Sciweavers

2167 search results - page 6 / 434
» Stochastic Process Algebras
Sort
View
EPEW
2008
Springer
14 years 11 months ago
A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra
We apply performance analysis techniques to a biological modelling problem, that of capturing and reproducing the Circadian rhythm. A Circadian rhythm provides cells with a clock b...
Jeremy T. Bradley
TCS
2002
14 years 9 months ago
Process algebra for performance evaluation
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...
Holger Hermanns, Ulrich Herzog, Joost-Pieter Katoe...
QEST
2008
IEEE
15 years 3 months ago
Recent Extensions to the Stochastic Process Algebra Tool CASPA
Martin Riedl, Johann Schuster, Markus Siegle
SFM
2007
Springer
15 years 3 months ago
Stochastic Process Algebras
Allan Clark, Stephen Gilmore, Jane Hillston, Mirco...