Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions

DOI10.1007/978-3-540-68413-8_2zbMath1375.92018OpenAlexW2121523192MaRDI 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

zbMATH Keywords

bounded asynchronycommunication-based reduction

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cell biology (92C37)

Related Items (2)

Delay-bounded scheduling without delay! ⋮ Dynamic networks of finite state machines

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions