76 search results - page 4 / 16 » Stochastic Process Algebra Models of a Circadian Clock |
ENTCS
2010
13 years 5 months ago
2010
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers action, from biochemistry to tissue, and special synchronisations via hook actions ensur...
AINA
2009
IEEE
14 years 1 months ago
2009
IEEE
PE
2010
Springer
13 years 3 months ago
2010
Springer
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...
QEST
2008
IEEE
14 years 2 months ago
2008
IEEE
TCS
2010
13 years 3 months ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...