Brane Calculi Systems: A Static Preview of their Possible Behaviour
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2011
- DOI:
- 10.48550/arXiv.1108.3429
- arXiv:
- arXiv:1108.3429
- Bibcode:
- 2011arXiv1108.3429B
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Emerging Technologies
- E-Print:
- Presented at MeCBIC 2011