An analysis for causal properties of membrane interactions

DOI10.1016/j.entcs.2013.11.003zbMath1337.68100OpenAlexW2042711383WikidataQ113317944 ScholiaQ113317944MaRDI QIDQ275996

Chiara Bodei, Roberta Gori, Francesca Levi

Publication date: 26 April 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2013.11.003

zbMATH Keywords

systems biologyabstract interpretationbrane calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Cell biology (92C37) Systems biology, networks (92C42)

Related Items (10)

Predictors for flat membrane systems ⋮ Characterization and computation of ancestors in reaction systems ⋮ A static analysis for brane calculi providing global occurrence counting information ⋮ Computing preimages and ancestors in reaction systems ⋮ A formal approach to open multiparty interactions ⋮ Generalized contexts for reaction systems: definition and study of dynamic causalities ⋮ Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks ⋮ A Global Occurrence Counting Analysis for Brane Calculi ⋮ Membrane automata for modeling biomolecular processes ⋮ Causal static analysis for brane calculi

Cites Work

• Unnamed Item
• Pathway analysis for BioAmbients
• Abstract interpretation based verification of temporal properties for BioAmbients
• Non-interleaving semantics for mobile processes
• BioAmbients: an abstraction for biological compartments
• A control flow analysis for Beta-binders with and without static compartments
• A Simple Calculus for Proteins and Cells
• Communication via Mobile Vesicles in Brane Calculi
• An Analysis for Proving Temporal Properties of Biological Systems
• Static Analysis
• Programming Languages and Systems
• Brane Calculi
• Computational Methods in Systems Biology

This page was built for publication: An analysis for causal properties of membrane interactions