Brane Calculi Systems: A Static Preview of their Possible Behaviour

2011/08/17 by Chiara Bodei, Bodei, Chiara, Linda Brodo +1
Biochemistry, Genetics and Molecular Biology · Computer Science · Physics and Astronomy · #DNA and Biological Computing #Emerging Technologies (cs.ET) #FOS: Computer and information sciences #Gene Regulatory Network Analysis #Logic in Computer Science (cs.LO) #Origins and Evolution of Life #cs.ET #cs.LO

paper · pdf · doi:10.48550/arxiv.1108.3429

Presented at MeCBIC 2011

arxiv created 2011/08/17 · openalex publication_date 2011/08/17 · arxiv updated 2011/08/18 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We improve the precision of a previous Control Flow Analysis for Brane Calculi, by adding information on the context and introducing causality information on the membranes. This allows us to prove some biological properties on the behaviour of systems specified in Brane Calculi.

Citations

• Context Dependent Analysis of BioAmbients
• Mental Health Strategies to Combat the Psychological Impact of Coronavirus Disease 2019 (COVID-19) Beyond Paranoia and Panic

Related

• Topological Quantum Computation and Error Correction by Biological Cells
• Essentials of Classical Brane Dynamics
• Biologically Inspired Process Calculi, Petri Nets and Membrane Computing
• Branes in external field or more about Randall-Sundrum scenario
• Proceedings of the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011)