Abstract
We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π calculus. It supports higher level modeling via multi-profile concurrent objects with static inheritance. We present a semantics for SpiCO in terms of continuous time Markov chains, and show how to compile SpiCO back into the biochemical stochastic π calculus while preserving semantics.
This is a preview of subscription content, log in via an institution to check access.
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
Baldamus, M., Parrow, J., Victor, B.: A fully abstract encoding of the π-calculus with data terms. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol. 3580, pp. 1202–1213. Springer, Heidelberg (2005)
Bernardo, M., Donatiello, L., Gorrieri, R.: MPA: A stochastic process algebra. Technical Report UBLCS-94-10, University Bologna (1994)
Cardelli, L.: Brane calculi: interactions of biological membranes. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 257–278. Springer, Heidelberg (2005)
Chabrier-Rivier, N., Fages, F., Soliman, S.: The biochemical abstract machine BioCham. In: CMSB 2004. LNCS, vol. 3082, pp. 172–191. Springer, Heidelberg (2005)
Ciocchetta, F., Priami, C.: Biological transactions for quantitative models. In: MeCBIC. ENTCS (to appear, 2006)
Duchier, D., Kuttler, C.: Biomolecular agents as multi-behavioural concurrent objects. In: Proc. MTCoord, vol. 150, ENTCS, pp. 31–49 (2005)
Gillespie, D.T.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. Comp Phys 22, 403–434 (1976)
Hermanns, H. (ed.): Interactive Markov Chains. LNCS, vol. 2428. Springer, Heidelberg (2002)
Hillston, J.: A Compositional Approach to Performance Modelling. In: PhD thesis, University of Edinburgh, Cambridge University Press, Cambridge (1996)
Hucka, M., et al.: The systems biology markup language (SBML). Bioinformatics 19, 524–531 (2003)
Kuttler, C., Niehren, J.: Gene regulation in the pi calculus: Simulating cooperativity at the lambda switch. In: Priami, C., Ingólfsdóttir, A., Mishra, B., Nielson, H.R. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol. 4230, pp. 24–55. Springer, Heidelberg (2006)
Kuttler, C.: Bacterial transcription and translation in the pi calculus. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol. 4220, pp. 113–149. Springer, Heidelberg (2006)
Kuttler, C.: Modeling Bacterial Gene Expression in a Stochastic Pi Calculus with Concurrent Objects. PhD thesis, University Lille 1 (2006)
Kuttler, C., Lhoussaine, C., Niehren, J.: A stochastic pi-calculus for concurrent objects. INRIA technical report 6076 (2006)
Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O., Heath, J., Gaffney, E.: Simulation and verification for computational modelling of signalling pathways. Winter Simulation Conference (to appear, 2006)
Lecca, P., Priami, C., Quaglia, P., Rossi, B., Laudanna, C., Constantin, G.: A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment. SCS Simulation 80(6), 273–288 (2004)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes (I and II). Information and Computation 100, 1–77 (1992)
Paulino, H., Marques, P., Lopes, L., Vasconcelos, V.T., Silva, F.: A multi-threaded asynchronous language. In: Malyshkin, V. (ed.) PaCT 2003. LNCS, vol. 2763, pp. 316–323. Springer, Heidelberg (2003)
Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. In: Proc. Workshop on Concurrent Models in Molecular Biology (2004)
Priami, C.: Stochastic π-calculus. Computer Journal 6, 578–589 (1995)
Priami, C., Quaglia, P.: Beta binders for biological interactions. In: Simple Program Schemes and Formal Languages. LNCS (LNBI), vol. 3082, pp. 20–33. Springer, Heidelberg (2005)
Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80, 25–31 (2001)
Ravara, A., Vasconcelos, V.T.: Typing non-uniform concurrent objects. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 474–488. Springer, Heidelberg (2000)
Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients. TCS 325(1), 141–167 (2004)
Vasconcelos, V.T., Tokoro, M.: A typing system for a calculus of objects. In: Nishio, S., Yonezawa, A. (eds.) Object Technologies for Advanced Software. LNCS, vol. 742, pp. 460–474. Springer, Heidelberg (1993)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kuttler, C., Lhoussaine, C., Niehren, J. (2007). A Stochastic Pi Calculus for Concurrent Objects. In: Anai, H., Horimoto, K., Kutsia, T. (eds) Algebraic Biology. AB 2007. Lecture Notes in Computer Science, vol 4545. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73433-8_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-73433-8_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73432-1
Online ISBN: 978-3-540-73433-8
eBook Packages: Computer ScienceComputer Science (R0)