The calculus of looping sequences for modeling biological membranes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4860 LNCS, Issue , 2007, Pages 54-76

  Barbuti, Roberto ^a   Maggiolo Schettini, Andrea ^a   Milazzo, Paolo ^a   Troina, Angelo ^b,c  

^a UNIVERSITY OF PISA   (Italy)

^b ECOLE POLYTECHNIQUE   (France)

^c UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SIMULATION; STOCHASTIC CONTROL SYSTEMS; TELECOMMUNICATION LINKS;

BIOMOLECULAR SYSTEMS; CALCULUS OF LOOPING SEQUENCES (CLS);

BIOLOGICAL MEMBRANES;

EID: 38549146290     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77312-2_4     Document Type: Conference Paper

References (26)

1. Alur, R., Belta, C., Ivancic, F., Kumar, V., Mintz, M., Pappas, G.J., Rubin, H., Schug, J.: Hybrid Modeling and Simulation of Biomolecular Networks. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol. 2034, pp. 19-32. Springer, Heidelberg (2001)
2. Barbuti, R., Cataudella, S., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: A Probabilistic Model for Molecular Systems. Fundamenta Informaticae 67, 13-27 (2005)
3. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: A Calculus of Looping Sequences for Modelling Microbiological Systems. Fundamenta Informaticae 72, 21-35 (2006)
4. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A.: Bisimulation Congruences in the Calculus of Looping Sequences. In: Barkaoui, K., Cavalcanti, A., Cerone, A. (eds.) ICTAC 2006. LNCS, vol. 4281, pp. 93-107. Springer, Heidelberg (2006)
5. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P.: Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level. In: Mandoiu, I., Zelikovsky, A. (eds.) ISBRA 2007. LNCS (LNBI), vol. 4463, pp. 638-649. Springer, Heidelberg (2007)
6. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tiberi, P., Troina, A.: Stochastic CLS for the Modeling and Simulation of Biological Systems (submitted for publication), draft available at: http://www.di.unipi.it/~milazzo/
7. Cardelli, L.: Brane Calculi. Interactions of Biological Membranes. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 257-280. Springer, Heidelberg (2005)
8. Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Schachter, V.: Modeling and Querying Biomolecular Interaction Networks. Theoretical Computer Science 325(1), 25-44 (2004)
9. Curti, M., Degano, P., Priami, C., Baldari, C.T.: Modelling Biochemical Pathways through Enhanced pi-calculus. Theoretical Computer Science 325, 111-140 (2004)
10. Dang, Z., Ibarra, O.H.: On P Systems Operating in Sequential and Limited Parallel Modes. In: Workshop on Descriptional Complexity of Formal Systems, pp. 164-177 (2004)
11. Danos, V., Laneve, C.: Formal Molecular Biology. Theoretical Computer Science 325, 69-110 (2004)
12. Gillespie, D.: Exact Stochastic Simulation of Coupled Chemical Reactions. Journal of Physical Chemistry 81, 2340-2361 (1977)
13. Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic Symbolic Model Checking with PRISM: a Hybrid Approach. Int. Journal on Software Tools for Technology Transfer 6, 128-142 (2004)
14. Laneve, C., Tarissan, F.: A Simple Calculus for Proteins and Cells. In: MeCBIC 2006. Workshop on Membrane Computing and Biological Inspired Process Calculi (to appear in ENTCS)
15. Milazzo, P.: Qualitative and Quantitative Formal Modeling of Biological Systems. PhD Thesis, Università di Pisa (2007)
16. Matsuno, H., Doi, A., Nagasaki, M., Miyano, S.: Hybrid Petri Net Representation of Gene Regulatory Network. In: Pacific Symposium on Biocomputing, pp. 341-352. World Scientific Press, Singapore (2000)
17. Pǎun, G.: Computing with Membranes. Journal of Computer and System Sciences 61, 108-143 (2000)
18. Pǎun, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)
19. Pérez-Jiménez, M.J., Romero-Campero, F.J.: A Study of the Robustness of the EGFR Signalling Cascade Using Continuous Membrane Systems. In: Mira, J.M., Alvarez, J.R. (eds.) IWINAC 2005. LNCS, vol. 3561, pp. 268-278. Springer, Heidelberg (2005)
20. Priami, C.: Stochastic π-Calculus. The Computer Journal 38, 578-589 (1995)
21. 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)
22. Priami, C., Regev, A., Silvermann, W., Shapiro, E.: Application of a Stochastic Name-Passing Calculus to Representation and Simulation of Molecular Processes. Information Processing Letters 80, 25-31 (2001)
23. Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: An Abstraction for Biological Compartments. Theoretical Computer Science 325, 141-167 (2004)
24. Regev, A., Shapiro, E.: The π-Calculus as an Abstraction for Biomolecular Systems. In: Modelling in Molecular Biology. Natural Computing Series, pp. 219-266. Springer, Heidelberg (2004)
25. Regev, A., Silverman, W., Shapiro, E.Y.: Representation and Simulation of Biochemical Processes Using the pi-calculus Process Algebra. In: Pacific Symposium on Biocomputing, pp. 459-470. World Scientific Press, Singapore (2001)
26. Wiley, H.S., Shvartsman, S.Y., Lauffenburger, D.A.: Computational Modeling of the EGF-Receptor System: a Paradigm for Systems Biology. Trends in Cell Biology 13, 43-50 (2003)