An Analysis for Proving Temporal Properties of Biological Systems
From MaRDI portal
Publication:5385599
DOI10.1007/11924661_15zbMath1168.68438OpenAlexW1552831395MaRDI 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
Biochemistry, molecular biology (92C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
An analysis for causal properties of membrane interactions ⋮ A proof theoretic view of spatial and temporal dependencies in biochemical systems ⋮ A static analysis for brane calculi providing global occurrence counting information ⋮ Process calculi for biological processes ⋮ Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation ⋮ A Global Occurrence Counting Analysis for Brane Calculi ⋮ Control Flow Analysis for Brane Calculi ⋮ Abstract interpretation based verification of temporal properties for BioAmbients ⋮ Verification of spatial and temporal modalities in biochemical systems ⋮ Causal static analysis for brane calculi
Uses Software
This page was built for publication: An Analysis for Proving Temporal Properties of Biological Systems