1. The chemical abstract machine;Berry;Theoret. Comput. Sci,1992
2. R. Bruni, C. Laneve, U. Montanari, Orchestrating transactions in join calculus, in: Proc. CONCUR’02. Lecture Notes in Computer Science, Vol. 2421, Springer, Berlin, 2002, pp. 321–337.
3. L. Cardelli, Brane calculi, in: Proc. BIO-CONCUR’03, Marseille, France, Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam, 2003, to appear.
4. L. Cardelli, P. Gardner, G. Ghelli, Manipulating trees with hidden labels, in: Proc. FOSSACS 2003, Lecture Notes in Computer Science, Vol. 2620, Springer, Berlin, 2003, p. 216–232.
5. M. Chiaverini, V. Danos, A core modeling language for the working molecular biologist, in: Proc. CMSB’03, Lecture Notes in Computer Science, Vol. 2602, Springer, Berlin, 2003, p. 166.