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.
Cite
@article{arxiv.1108.3429,
title = {Brane Calculi Systems: A Static Preview of their Possible Behaviour},
author = {Chiara Bodei and Linda Brodo},
journal= {arXiv preprint arXiv:1108.3429},
year = {2011}
}