1. The calculus of looping sequences;Barbuti,2008
2. Control Flow Analysis for Beta-binders with and without Static Compartments;Bodei;Theoretical Computer Science,2009
3. Brane Calculi Systems: A Static Preview of their Possible Behaviour;Bodei,2011
4. Towards a Causal Semantics for Brane Calculi;Busi,2007
5. Modeling and analysis of biological processes by mem(brane) calculi and systems;Busi,2006