An Analysis for Proving Temporal Properties of Biological Systems

DOI10.1007/11924661_15zbMath1168.68438OpenAlexW1552831395MaRDI QIDQ5385599

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

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

Related Items (10)

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

• SLMC

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