1. Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. In: Fourth ACM Conference on Computer and Communications Security, pp. 36–47. ACM Press, New York (1997)
2. Armstrong, D.: Membrane traffic, from cell to clinic. In: Latchman, D. (ed.) Basic Molecular and Cell Biology, 3rd edn., pp. 116–126. BMJ Publishing Group, London (1997)
3. Blossey, R., Cardelli, L., Phillips, A.: Compositionality, stochasticity and cooperativity in dynamic models of gene regulation. HFSP Journal 2, 17–28 (2008)
4. Lecture Notes in Bioinformatics;L. Cardelli,2005
5. Lecture Notes in Computer Science;L. Cardelli,1998