Brane Calculi Systems: A Static Preview of their Possible Behaviour

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.

[1]  Flemming Nielson,et al.  Control Flow Analysis for BioAmbients , 2007, BioConcur@CONCUR.

[2]  Andrea Bracciali,et al.  Control Flow Analysis for Brane Calculi , 2008, MeCBIC.

[3]  Flemming Nielson,et al.  Flow Logic: A Multi-paradigmatic Approach to Static Analysis , 2002, The Essence of Computation.

[4]  Luca Cardelli,et al.  BioAmbients: an abstraction for biological compartments , 2004, Theor. Comput. Sci..

[5]  Francesca Levi,et al.  An Analysis for Proving Temporal Properties of Biological Systems , 2006, APLAS.

[6]  B. Alberts,et al.  Molecular Biology of the Cell, Third Edition , 1994 .

[7]  Cosimo Laneve,et al.  A Simple Calculus for Proteins and Cells , 2007, Electron. Notes Theor. Comput. Sci..

[8]  Gheorghe Paun.  Computing with Membranes (P Systems): A Variant , 2000, Int. J. Found. Comput. Sci..

[9]  Flemming Nielson,et al.  Pathway analysis for BioAmbients , 2008, J. Log. Algebraic Methods Program..

[10]  Chiara Bodei,et al.  A Control Flow Analysis for Beta-binders with and without static compartments , 2009, Theor. Comput. Sci..

[11]  Corrado Priami,et al.  Beta Binders for Biological Interactions , 2004, CMSB.

[12]  Luca Cardelli,et al.  Brane Calculi Interactions of Biological Membranes , 2004 .

[13]  Francesca Levi,et al.  A New Occurrence Counting Analysis for BioAmbients , 2005, APLAS.

[14]  Nadia Busi,et al.  Towards a Casual Semantics for Brane Calculi , 2007 .

[15]  Paolo Milazzo,et al.  The Calculus of Looping Sequences , 2008, SFM.

[16]  J. Davies,et al.  Molecular Biology of the Cell , 1983, Bristol Medico-Chirurgical Journal.

[17]  Cosimo Laneve,et al.  Graphs for Core Molecular Biology , 2003, CMSB.

[18]  Francesca Levi,et al.  Abstract interpretation based verification of temporal properties for BioAmbients , 2010, Inf. Comput..

[19]  Flemming Nielson,et al.  Context Dependent Analysis of BioAmbients , 2006, Simulation and Verification of Dynamic Systems.