%0 Journal Article
%T Brane Calculi Systems: A Static Preview of their Possible Behaviour
%A Chiara Bodei
%A Linda Brodo
%J Computer Science
%D 2011
%I arXiv
%X 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.
%U http://arxiv.org/abs/1108.3429v1