Skip to main content
SpringerLink
Log in

π@: A π-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi

  • Conference paper
Formal Methods for Computational Systems Biology (SFM 2008)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5016))

Abstract

The modelling of biological systems led to the explicit introduction of compartments in several bio-oriented process calculi. In this tutorial we show how different compartment semantics can be obtained by means of a simple and conservative extension of the standard pi-calculus, the pi@ calculus. Significant examples are given through the encoding of two well known bio-inspired process calculi: BioAmbients and Brane Calculi.

This work has been partially sponsored by the PRIN 2006 Project BISCA – Sistemi e calcoli di ispirazione biologica e loro applicazioni.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Fontana, W., Buss, L.: The Barrier of Objects: From Dynamical Systems to Bounded Organizations. In: Casti, J., Karlqvist, A. (eds.) Boundaries and Barriers, pp. 56–116. Addison-Wesley, Reading (1996)

    Google Scholar 

  2. 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 (2001)

    Google Scholar 

  3. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, i and ii. Inf. Comput. 100(1), 1–77 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  4. Priami, C.: Stochastic pi-calculus. Comput. J. 38(7), 578–589 (1995)

    Article  Google Scholar 

  5. Priami, C., Regev, A., Shapiro, E.Y., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf. Process. Lett. 80(1), 25–31 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  6. Curti, M., Degano, P., Priami, C., Baldari, C.T.: Modelling biochemical pathways through enhanced pi-calculus. Theor. Comput. Sci. 325(1), 111–140 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  7. Lecca, P., Priami, C., Laudanna, C., Constantin, G.: Predicting cell adhesion probability via the biochemical stochastic pi-calculus. In: Haddad, H., Omicini, A., Wainwright, R.L., Liebrock, L.M. (eds.) Symposium on Applied Computing, pp. 211–212. ACM, New York (2004)

    Google Scholar 

  8. Chiarugi, D., Curti, M., Degano, P., Marangoni, R.: Vice: A virtual cell. In: [35], pp. 207–220 (2004)

    Google Scholar 

  9. Cardelli, L.: Brane calculi. In: [35], pp. 257–278 (2004)

    Google Scholar 

  10. Danos, V., Pradalier, S.: Projective brane calculus. In: [35], pp. 134–148 (2004)

    Google Scholar 

  11. Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.Y.: Bioambients: an abstraction for biological compartments. Theor. Comput. Sci. 325(1), 141–167 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  12. Priami, C., Quaglia, P.: Beta binders for biological interactions. In: [35], pp. 20–33 (2004)

    Google Scholar 

  13. Degano, P., Prandi, D., Priami, C., Quaglia, P.: Beta-binders for Biological Quantitative Experiments. Electronic Notes in Theoretical Computer Science 164(3), 101–117 (2006)

    Article  Google Scholar 

  14. Danos, V., Laneve, C.: Formal molecular biology. Theor. Comput. Sci. 325(1), 69–110 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  15. Laneve, C., Tarissan, F.: A simple calculus for proteins and cells. Electr. Notes Theor. Comput. Sci. 171(2), 139–154 (2007)

    Article  Google Scholar 

  16. Carbone, M., Maffeis, S.: On the expressive power of polyadic synchronisation in pi-calculus. Nord. J. Comput. 10(2), 70–98 (2003)

    MATH  MathSciNet  Google Scholar 

  17. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, i. Inf. Comput. 100(1), 1–40 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  18. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, ii. Inf. Comput. 100(1), 41–77 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  19. Milner, R.: Communication and concurrency. Prentice-Hall, Inc, Englewood Cliffs (1989)

    MATH  Google Scholar 

  20. Milner, R.: The polyadic pi-calculus: a tutorial. In: Bauer, F.L., Brauer, W., Schwichtenberg, H. (eds.) Logic and Algebra of Specification, pp. 203–246. Springer, Heidelberg (1993)

    Google Scholar 

  21. Milner, R.: Communicating and mobile systems: the π-calculus. Cambridge University Press, New York (1999)

    Google Scholar 

  22. Cleaveland, R., Lüttgen, G., Natarajan, V.: Priority in process algebra. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, pp. 711–765. Elsevier Science Publishers, Amsterdam (2001)

    Chapter  Google Scholar 

  23. Versari, C., Busi, N.: Stochastic simulation of biological systems with dynamical compartment structure. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol. 4695, pp. 80–95. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  24. Versari, C., Busi, N.: Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. Electronic Notes in Theoretical Computer Science 194(3), 165–180 (2008)

    Article  Google Scholar 

  25. Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) ETAPS 1998 and FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  26. Cardelli, L., Gordon, A.D.: Mobile ambients. Theoretical Computer Science 240(1), 177–213 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  27. Nestmann, U., Pierce, B.C.: Decoding choice encodings. Inf. Comput. 163(1), 1–59 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  28. Busi, N., Gorrieri, R.: On the computational power of brane calculi. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol. 4220, pp. 16–43. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  29. Palamidessi, C.: Comparing the expressive power of the synchronous and asynchronous pi-calculi. Mathematical Structures in Computer Science 13(5), 685–719 (2003)

    Article  MathSciNet  Google Scholar 

  30. de Boer, F.S., Palamidessi, C.: Embedding as a tool for language comparison. Inf. Comput. 108(1), 128–157 (1994)

    Article  MATH  Google Scholar 

  31. Cappello, I., Quaglia, P.: A translation of beta-binders in a prioritized pi-calculus (to appear, 2008)

    Google Scholar 

  32. Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340–2361 (1977)

    Article  Google Scholar 

  33. Kuttler, C., Lhoussaine, C., Niehren, J.: A stochastic pi calculus for concurrent objects. In: Anai, H., Horimoto, K., Kutsia, T. (eds.) Ab 2007. LNCS, vol. 4545, pp. 232–246. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  34. Versari, C., Busi, N., Gorrieri, R.: On the expressive power of global and local priority in process calculi. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR. LNCS, vol. 4703, pp. 241–255. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  35. Danos, V., Schachter, V. (eds.): CMSB 2004. LNCS (LNBI), vol. 3082. Springer, Heidelberg (2005)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Scienze dell’Informazione, Università di Bologna, Mura Anteo Zamboni 7, 40127, Bologna, Italy

    Cristian Versari & Roberto Gorrieri

Authors
  1. Cristian Versari
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Roberto Gorrieri
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Marco Bernardo Pierpaolo Degano Gianluigi Zavattaro

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Versari, C., Gorrieri, R. (2008). π@: A π-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. In: Bernardo, M., Degano, P., Zavattaro, G. (eds) Formal Methods for Computational Systems Biology. SFM 2008. Lecture Notes in Computer Science, vol 5016. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68894-5_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-68894-5_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-68892-1

  • Online ISBN: 978-3-540-68894-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation