Verification of spatial and temporal modalities in biochemical systems
From MaRDI portal
Publication:2520667
DOI10.1016/j.entcs.2015.06.009zbMath1351.68157OpenAlexW1874387408WikidataQ113317775 ScholiaQ113317775MaRDI QIDQ2520667
Carlos Olarte, Diana Hermith, Moreno Falaschi, Davide Chiarugi
Publication date: 16 December 2016
Full work available at URL: https://doi.org/10.1016/j.entcs.2015.06.009
Biochemistry, molecular biology (92C40) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
A proof theoretic view of spatial and temporal dependencies in biochemical systems, A Declarative View of Signaling Pathways, Slicing concurrent constraint programs, Verification of spatial and temporal modalities in biochemical systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Dynamic spaces in concurrent constraint programming
- Linear logic
- Transactions on Computational Systems Biology XII. Special issue on modeling methodologies
- Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
- Modeling biological systems in stochastic concurrent constraint programming
- Linear concurrent constraint programming: Operational and phase semantics
- BioAmbients: an abstraction for biological compartments
- A spatial logic for concurrency. I
- A control flow analysis for Beta-binders with and without static compartments
- Verification of spatial and temporal modalities in biochemical systems
- Timed $$\pi $$-Calculus
- A General Proof System for Modalities in Concurrent Constraint Programming
- Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks
- Computational Modeling and Verification of Signaling Pathways in Cancer
- Logic Programming with Focusing Proofs in Linear Logic
- Modelling Biological Compartments in Bio-PEPA
- Hybrid Systems: Computation and Control
- An Analysis for Proving Temporal Properties of Biological Systems
- Modeling Static Biological Compartments with Beta-binders
- Computational Methods in Systems Biology
- Brane Calculi
