Control flow analysis for brane calculi

DOI10.1016/J.ENTCS.2008.12.104MaRDI QIDQ5179425zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Chiara Bodei, Andrea Bracciali, Davide Chiarugi

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

brane calculicontrol flow analysissystems biology

Mathematics Subject Classification ID

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

Recommendations

• A Global Occurrence Counting Analysis for Brane Calculi
• A static analysis for brane calculi providing global occurrence counting information
• A control flow analysis for Beta-binders with and without static compartments
• Causal static analysis for brane calculi
• A static analysis for beta-binders

Cites work

• A control flow analysis for Beta-binders with and without static compartments
• An Analysis for Proving Temporal Properties of Biological Systems
• AN UNIVERSALITY RESULT FOR A (MEM)BRANE CALCULUS BASED ON MATE/DRIP OPERATIONS
• Brane Calculi
• Communication via mobile vesicles in brane calculi
• Computational Methods in Systems Biology
• Computing with membranes (P systems): a variant
• CONCUR 2005 – Concurrency Theory
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1950547 (Why is no real title available?)
• Pathway analysis for BioAmbients
• Static Analysis

Cited in

(6)

• A control flow analysis for Beta-binders with and without static compartments
• Causal static analysis for brane calculi
• A static analysis for brane calculi providing global occurrence counting information
• A static analysis for beta-binders
• A Global Occurrence Counting Analysis for Brane Calculi
• BRANECODE: A program for simulations of braneworld dynamics

This page was built for publication: Control flow analysis for brane calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5179425)