Aspects of multiscale modelling in a process algebra for biological systems
Roberto BarbutiGiulio CaravagnaPaolo MilazzoAndrea Maggiolo-SchettiniSimone TiniPublished in: MeCBIC (2010)
Keyphrases
- biological systems
- multiscale
- process algebra
- computational models
- concurrent systems
- formal specification
- systems biology
- complex systems
- biologically inspired
- model checking
- asynchronous circuits
- artificial systems
- neural dynamics
- formal methods
- living systems
- biologically inspired design
- communication protocols
- metabolic pathways
- web services composition
- concurrent programs
- temporal logic
- neural mechanisms
- social networks
- computational model
- distributed systems
- signal transduction
- data model