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.92005OpenAlexW1491665307MaRDI 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
Physiology (general) (92C30) Cell biology (92C37) General theory for ordinary differential equations (34A99) Biological rhythms and synchronization (92B25)
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
This page was built for publication: A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra