Control Flow Analysis for Brane Calculi

DOI10.1016/j.entcs.2008.12.104zbMath1348.92068DBLPjournals/entcs/BodeiBC09OpenAlexW2052321486WikidataQ62046297 ScholiaQ62046297MaRDI QIDQ5179425

Andrea Bracciali, Davide Chiarugi, Chiara Bodei

Publication date: 19 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

systems biologybrane calculicontrol flow analysis

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Specification and verification (program logics, model checking, etc.) (68Q60) Systems biology, networks (92C42)

Cites Work

• Unnamed Item
• Unnamed Item
• Pathway analysis for BioAmbients
• A control flow analysis for Beta-binders with and without static compartments
• Communication via Mobile Vesicles in Brane Calculi
• AN UNIVERSALITY RESULT FOR A (MEM)BRANE CALCULUS BASED ON MATE/DRIP OPERATIONS
• COMPUTING WITH MEMBRANES (P SYSTEMS): A VARIANT
• An Analysis for Proving Temporal Properties of Biological Systems
• Static Analysis
• Brane Calculi
• Computational Methods in Systems Biology
• CONCUR 2005 – Concurrency Theory

This page was built for publication: Control Flow Analysis for Brane Calculi