Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks.

Federica Ciocchetta Jane Hillston

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

biochemical networks
process algebra
concurrent systems
formal specification
model checking
asynchronous circuits
formal methods
systems biology
web services composition
distributed systems
cell cycle
real time
petri net
communication protocols
natural language
artificial intelligence
databases