[1]   L. Cardelli, A.D. Gordon. Mobile Ambients. LNCS vol. 1378, Springer-Verlag London, 1998

[2]   S. Eilenberg. Automata, Languages, and Machines. Academic Press New York, 1976

[3]   N.J. Eungdamrong, R. Iyengar. Modeling Cell Signaling Networks. Biology of the Cell 96, pp. 355-362, 2004

[4]   D.T. Gillespie. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 22, pp. 403-434, 1977

[5]   T. Hinze, T. Lenser, P. Dittrich. A Protein Substructure Based P System for Description and Analysis of Cell Signalling Networks. Submitted to the 7th Workshop on Membrane Computing, Leiden, 2006

[6]   C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall International, 2004 (first edition 1985)

[7]   M. Hucka, A. Finney, B.J. Bornstein, S.M. Keating, B.E. Shapiro, J. Matthews, B.L. Kovitz, M.J. Schilstra, A. Funahashi, J.C. Doyle, H. Kitano. Evolving a Lingua Franca and Associated Software Infrastructure for Computational Systems Biology: The Systems Biology Markup Language (SBML) Project. Systems Biology 1(1), pp. 41-53, 2004

[8]   C.M. Lloyd, M.D.B. Halstead, P.F. Nielsen. CellML: its future, present and past. Progress in Biophysics and Molecular Biology 85(2-3), pp. 433-450, 2004

[9]   S. Mac Lane. Categories for the Working Mathematician. Springer-Verlag Berlin, New York, 1998

[10]   R. Milner. Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, 1999

[11]   I. Nepomuceno, J.A. Nepomuceno, F.J. Romero-Campero. A Tool for Using the SBML Format to Represent P Systems which Model Biological Reaction Networks. Proceedings of the Third Brainstorming Week on Membrane Computing, pp. 219-228, 2005

[12]   G. Păun. Membrane Computing: An Introduction. Natural Computing Series. Springer-Verlag Berlin, Heidelberg, 2002

[13]   J.L. Peterson. Petri Net Theory and the Modelling of Systems. Prentice Hall, 1961

[14]   M.R. Said, A.V. Oppenheim, D.A. Lauffenburger. Modeling cellular signal processing using interacting markov chains. Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, 2003

[15]   T.E. Turner, S. Schnell, K. Burrage. Stochastic approaches for modelling in vivo reactions. Computational Biology and Chemistry 28, pp. 162-178, 2004