Abstract
The application of process calculi theory to the modeling and the analysis of biological phenomena has recently attracted the interests of the scientific community. To this aim several specialized, bio-inspired process calculi have been proposed, but a formal comparison of their expressivity is still lacking. In this paper we present π@, an extension of the π-Calculus with priorities and polyadic synchronisation that turns out to be suitable to act as a core platform for the comparison of other calculi. Here we show π@ at work by providing “reasonable” encodings of the two most popular calculi for modeling membrane interactions, namely, BioAmbients and Brane Calculi.
Keywords: pi-calculus, priority, polyadic synchronisation, BioAmbients, Brane Calculi.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
de Boer, F., Palamidessi, C.: Embedding as a Tool for Language Comparison. Information and Computation 108(1) (1994)
Busi, N., Gorrieri, R.: On the computational power of Brane Calculi. In: Third Workshop on Computational Methods in Systems Biology, Edinburgh (2005)
Carbone, M., Maffeis, S.: On the Expressive Power of Polyadic Synchronisation in pi-calculus. Nordic Journal of Computing 10(2), 70–98 (2003)
Cardelli, L.: Brane Calculi - Interactions of Biological Membranes. In: Computational Methods in Systems Biology (2004)
Cardelli, L., Gordon, A.D.: Mobile Ambients. In: Nivat, M. (ed.) ETAPS 1998 and FOSSACS 1998. LNCS, vol. 1378, Springer, Heidelberg (1998)
Cardelli, L., Păun, G.: An universality result for a (mem)brane calculus based on mate/drip operations. International Journal of Foundations of Computer Science (2005)
Chiarugi, D., et al.: VICE: A VIrtual CEll. In: Computational Methods in Systems Biology (2004)
Curti, M., Degano, P., Baldari, C.T.: Causal π-Calculus for Biochemical Modelling. In: Computational Methods in Systems Biology (2003)
Cleaveland, R., Lüttgen, G., Natarajan, V.: Priority in Process Algebra. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, Elsevier, Amsterdam (2001)
Danos, V., Laneve, C.: Formal Molecular Biology. Theoretical Computer Science 325(1) (2004)
Danos, V., Pradalier, S.: Projective Brane-calculus. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 134–148. Springer, Heidelberg (2005)
Laneve, C., Tarissan, F.: A simple calculus for proteins and cells. In: Proc. of the Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC’06) (2006)
Lecca, P., et al.: Predicting cell adhesion probability via the biochemical stochastic pi-calculus. In: Symposium on Applied Computing (2004)
Milner, R.: The Polyadic π-Calculus: a Tutorial. In: Hamer, F.L., Brauer, W., Schwichtenberg, H. (eds.) Logic and Algebra of Specification, Springer, Heidelberg (1993)
Milner, R.: Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, Cambridge (1999)
Nestmann, U., Pierce, B.C.: Decoding Choice Encodings. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, Springer, Heidelberg (1996)
Palamidessi, C.: Comparing the expressive power of the synchronous and the asynchronous π-calculi. Mathematical Structures in Computer Science 13(5), 685–719 (2003)
Păun, G.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)
Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. Transactions on Computational Systems Biology (2005)
Priami, C.: Stochastic π-calculus. The Computer Journal 38(7) (1995)
Priami, C., Quaglia, P.: Beta binders for biological interactions. In: Computational Methods in Systems Biology (2004)
Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the π-Calculus process algebra. In: Proc. of the Pacific Symposium on Biocomputing (PSB ’01), World Scientific, Singapore (2001)
Priami, C., et al.: Application of a stochastic passing-name calculus to representation and simulation of molecular processes. Information Processing Letters 80 (2001)
Regev, A., et al.: BioAmbients: an abstraction for biological compartments. Theoretical Computer Science (2004)
Versari, C.: Encoding catalytic P systems in π@. In: Proc. of the Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC’06) (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Versari, C. (2007). A Core Calculus for a Comparative Analysis of Bio-inspired Calculi. In: De Nicola, R. (eds) Programming Languages and Systems. ESOP 2007. Lecture Notes in Computer Science, vol 4421. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71316-6_28
Download citation
DOI: https://doi.org/10.1007/978-3-540-71316-6_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71314-2
Online ISBN: 978-3-540-71316-6
eBook Packages: Computer ScienceComputer Science (R0)