1. Molecular Biology of the Cell;Alberts,2002
2. A static analysis for Beta-binders;Bodei;Electronic Notes in Theoretical Computer Science,2008
3. Static analysis for the π-calculus with their application to security;Bodei;Information and Computation,2001
4. Brane calculi — interactions of biological membranes;Cardelli,2005
5. Mobile ambients;Cardelli;Theoretical Computer Science,2000