A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra
From MaRDI portal
Publication:3543308
DOI10.1007/978-3-540-87412-6_7zbMath1180.92005MaRDI QIDQ3543308
Publication date: 2 December 2008
Published in: Computer Performance Engineering (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-87412-6_7
92C30: Physiology (general)
92C37: Cell biology
34A99: General theory for ordinary differential equations
92B25: Biological rhythms and synchronization
Cites Work
- Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models
- A calculus of communicating systems
- A calculus of mobile processes. I
- On process rate semantics
- Analysis of a Multimedia Stream using Stochastic Process Algebra
- Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
- Communicating sequential processes