Abstract
HYPE is a process algebra for hybrid systems. These systems contain both continuous and discrete
behaviour. Modelling using HYPE involves identifying the flows that affect each continuous variable
in the systems. This paper considers how to model the circadian clock of the green alga Ostreococcus
tauri using this approach.
Original language | English |
---|---|
Title of host publication | Proceedings of the 9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010) |
Pages | 92-98 |
Number of pages | 7 |
Publication status | Published - 2010 |