An Analysis for Proving Temporal Properties of Biological Systems

DOI10.1007/11924661_15MaRDI QIDQ5385599zbMATH OpenOpenAlexFDO

Authors Roberta Gori, Francesca Levi

Publication date 6 May 2008

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11924661_15

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Biochemistry, molecular biology (92C40)

Recommendations

• Abstract interpretation based verification of temporal properties for BioAmbients
• Programming Languages and Systems
• scientific article; zbMATH DE number 2182436
• Computational Methods in Systems Biology
• Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

Cited in

(16)

• An analysis for proving probabilistic termination of biological systems
• Causal static analysis for brane calculi
• A static analysis for brane calculi providing global occurrence counting information
• Verification of spatial and temporal modalities in biochemical systems
• A proof theoretic view of spatial and temporal dependencies in biochemical systems
• An analysis for causal properties of membrane interactions
• scientific article; zbMATH DE number 2182436 (Why is no real title available?)
• Control flow analysis for brane calculi
• Approximating probabilistic behaviors of biological systems using abstract interpretation
• Static Analysis
• Programming Languages and Systems
• Computational Methods in Systems Biology
• A Global Occurrence Counting Analysis for Brane Calculi
• Process calculi for biological processes
• Reachability analysis for parametric rule-based models
• Abstract interpretation based verification of temporal properties for BioAmbients

Describes a project that uses

Uses Software

• SLMC

This page was built for publication: An Analysis for Proving Temporal Properties of Biological Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5385599)