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.
Keywords
This work has been partially sponsored by the PRIN 2006 Project BISCA – Sistemi e calcoli di ispirazione biologica e loro applicazioni.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, i and ii. Inf. Comput. 100(1), 1–77 (1992)
Priami, C.: Stochastic pi-calculus. Comput. J. 38(7), 578–589 (1995)
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)
Curti, M., Degano, P., Priami, C., Baldari, C.T.: Modelling biochemical pathways through enhanced pi-calculus. Theor. Comput. Sci. 325(1), 111–140 (2004)
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)
Chiarugi, D., Curti, M., Degano, P., Marangoni, R.: Vice: A virtual cell. In: [35], pp. 207–220 (2004)
Cardelli, L.: Brane calculi. In: [35], pp. 257–278 (2004)
Danos, V., Pradalier, S.: Projective brane calculus. In: [35], pp. 134–148 (2004)
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)
Priami, C., Quaglia, P.: Beta binders for biological interactions. In: [35], pp. 20–33 (2004)
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)
Danos, V., Laneve, C.: Formal molecular biology. Theor. Comput. Sci. 325(1), 69–110 (2004)
Laneve, C., Tarissan, F.: A simple calculus for proteins and cells. Electr. Notes Theor. Comput. Sci. 171(2), 139–154 (2007)
Carbone, M., Maffeis, S.: On the expressive power of polyadic synchronisation in pi-calculus. Nord. J. Comput. 10(2), 70–98 (2003)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, i. Inf. Comput. 100(1), 1–40 (1992)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, ii. Inf. Comput. 100(1), 41–77 (1992)
Milner, R.: Communication and concurrency. Prentice-Hall, Inc, Englewood Cliffs (1989)
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)
Milner, R.: Communicating and mobile systems: the π-calculus. Cambridge University Press, New York (1999)
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)
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)
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)
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)
Cardelli, L., Gordon, A.D.: Mobile ambients. Theoretical Computer Science 240(1), 177–213 (2000)
Nestmann, U., Pierce, B.C.: Decoding choice encodings. Inf. Comput. 163(1), 1–59 (2000)
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)
Palamidessi, C.: Comparing the expressive power of the synchronous and asynchronous pi-calculi. Mathematical Structures in Computer Science 13(5), 685–719 (2003)
de Boer, F.S., Palamidessi, C.: Embedding as a tool for language comparison. Inf. Comput. 108(1), 128–157 (1994)
Cappello, I., Quaglia, P.: A translation of beta-binders in a prioritized pi-calculus (to appear, 2008)
Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340–2361 (1977)
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)
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)
Danos, V., Schachter, V. (eds.): CMSB 2004. LNCS (LNBI), vol. 3082. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Rights 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)