Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
From MaRDI portal
Publication:3506862
DOI10.1007/978-3-540-68413-8_2zbMath1375.92018MaRDI QIDQ3506862
Jasmin Fisher, Nir Piterman, Maria Mateescu, Thomas A. Henzinger
Publication date: 17 June 2008
Published in: Formal Methods in Systems Biology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-68413-8_2
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
92C37: Cell biology
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Control and data abstraction: The cornerstones of practical formal verification
- Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
- Probabilistic model checking of complex biological pathways