TY - RPRT TI - Brane Calculi Systems: A Static Preview of their Possible Behaviour AU - Chiara Bodei AU - Linda Brodo PY - 2011 UR - https://arxiv.org/abs/1108.3429 ID - 1108.3429 ER -