An Analysis for Proving Temporal Properties of Biological Systems
From MaRDI portal
Publication:5385599
DOI10.1007/11924661_15zbMath1168.68438MaRDI QIDQ5385599
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
92C40: Biochemistry, molecular biology
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Control Flow Analysis for Brane Calculi, Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation, A Global Occurrence Counting Analysis for Brane Calculi, An analysis for causal properties of membrane interactions, Abstract interpretation based verification of temporal properties for BioAmbients, 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
Uses Software