External Control in Process Algebra for Systems Biology.
Filippo Del TedescoCarla PiazzaPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- systems biology
- high throughput
- process algebra
- biological systems
- biological data
- biological networks
- formal specification
- concurrent systems
- asynchronous circuits
- gene regulatory networks
- molecular biology
- formal methods
- data acquisition
- artificial intelligence
- protein protein interactions
- model checking
- data sets
- communication protocols
- web services composition