Modeling Kohn Interaction Maps with Beta-Binders: An Example

  • Federica Ciocchetta
  • Corrado Priami
  • Paola Quaglia
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3737)


We represent a subset of the mammalian cell cycle Kohn interaction map using Beta-binders, a formalism inspired to the pi-calculus and enriched with binders that allow the description of enclosing surfaces equipped with interaction sites. Specifically, the interactions between the p53 protein and its main regulator Mdm2 is analyzed.

Beta-binders comes equipped with a reduction semantics for the formal description of the evolution of the specified systems. This allows a dynamic representation of the intrinsically static Kohn maps.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: Molecular biology of the cell. Garland science (2002)Google Scholar
  2. 2.
    Cardelli, L.: Membrane interactions. In: BioConcur 2003, Workshop on Concurrent Models in Molecular Biology (2003)Google Scholar
  3. 3.
    Danos, V., Krivine, J.: Formal molecular biology done in CCS-R. In: BioConcur 2003, Workshop on Concurrent Models in Molecular Biology (2003)Google Scholar
  4. 4.
    Danos, V., Laneve, C.: Core formal molecular biology. In: Degano, P. (ed.) ESOP 2003. LNCS, vol. 2618, pp. 302–318. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  5. 5.
    Guerriero, M.L.: Modelli formali per la rappresentazione di sistemi biologici dinamici. Laurea Thesis, University of Trento, Dep. Informatics and Telecommunications (2004) (Italian)Google Scholar
  6. 6.
    Kohn, K.W.: Molecular interaction map of the mammalian cell cycle contro and DNA repair systems. Molecular Biology of the Cell (10), 2703–2734 (1999)Google Scholar
  7. 7.
    Lane, D.: Surfing the p53 network. Nature 408, 307–310 (2000)CrossRefGoogle Scholar
  8. 8.
    Lane, D., Vogelstein, B., Levine, A.J.: P53, the guardian of the genome. Nature 358, 15–16 (1992)CrossRefGoogle Scholar
  9. 9.
    Milner, R.: Communicating and mobile systems: the π-calculus. Cambridge University Press, Cambridge (1999)Google Scholar
  10. 10.
    Nagasaki, M., Onami, S., Miyano, S., Kitano, H.: Bio-calculus: Its concept and molecular interaction. In: Asai, K., Miyano, S., Takagi, T. (eds.) Genome Informatics 1999, vol. 10, pp. 133–143. Universal Academy Press, Tokyo (1999)Google Scholar
  11. 11.
    Priami, C., Quaglia, P.: Beta binders for biological interactions. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 20–33. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  12. 12.
    Priami, C., Quaglia, P.: Operational patterns in Beta-binders. Transactions on Computational Systems Biology (2004) (to appear)Google Scholar
  13. 13.
    Priami, C., Regev, A., Silverman, W., Shapiro, E.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80(1), 25–31 (2001)MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: Bioambients: An abstraction for biological compartments. Theoretical Computer Science (2004) (to appear)Google Scholar
  15. 15.
    Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Proc. of the Pacific Symposium on Biocomputing (PSB 2001), vol. 6, pp. 459–470. World Scientific Press, Singapore (2001)Google Scholar
  16. 16.
    Sangiorgi, D., Walker, D.D.: The π-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Federica Ciocchetta
    • 1
  • Corrado Priami
    • 1
  • Paola Quaglia
    • 1
  1. 1.Dipartimento di Informatica e TelecomunicazioniUniversità di TrentoItaly

Personalised recommendations