Login / Signup

Investigating modularity in the analysis of process algebra models of biochemical systems

Federica CiocchettaMaria Luisa GuerrieroJane Hillston
Published in: FBTC (2010)
Keyphrases
  • experimental data
  • complex systems
  • mathematical models
  • computer systems
  • asynchronous circuits
  • process algebra
  • building blocks
  • real time
  • information systems
  • distributed systems
  • model checking
  • biological systems