Multi-scale modelling of biological systems in process algebra with multi-way synchronisation.
Andrea DegasperiMuffy CalderPublished in: CMSB (2011)
Keyphrases
- biological systems
- process algebra
- multiscale
- biologically inspired
- concurrent systems
- formal specification
- systems biology
- asynchronous circuits
- complex systems
- formal methods
- model checking
- artificial systems
- web services composition
- neural dynamics
- living systems
- computational models
- communication protocols
- complex biological systems
- living organisms
- petri net
- signal transduction
- temporal logic
- machine learning
- concurrent programs
- real time