Sciweavers

2167 search results - page 6 / 434
» Stochastic Process Algebras
Sort
View
EPEW
2008
Springer
13 years 9 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
13 years 7 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
14 years 2 months ago
Recent Extensions to the Stochastic Process Algebra Tool CASPA
Martin Riedl, Johann Schuster, Markus Siegle
SFM
2007
Springer
14 years 1 months ago
Stochastic Process Algebras
Allan Clark, Stephen Gilmore, Jane Hillston, Mirco...