Brane Calculi Systems: A Static Preview of their Possible Behaviour
arXiv:1108.3429
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.
Presented at MeCBIC 2011