Sciweavers

2167 search results - page 6 / 434
» Stochastic Process Algebras
Sort
View
94
Voted
EPEW
2008
Springer
15 years 3 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
15 years 1 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...
87
Voted
SOFSEM
2009
Springer
15 years 10 months ago
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA
Jens Bachmann, Martin Riedl, Johann Schuster, Mark...
97
Voted
QEST
2008
IEEE
15 years 8 months ago
Recent Extensions to the Stochastic Process Algebra Tool CASPA
Martin Riedl, Johann Schuster, Markus Siegle
82
Voted
SFM
2007
Springer
15 years 8 months ago
Stochastic Process Algebras
Allan Clark, Stephen Gilmore, Jane Hillston, Mirco...