Definition
Stochastic pi-calculus (Priami 1995) is the first process algebra used to represent biological systems (Priami et al. 2001). Molecules are modeled as processes, and molecular complexes are rendered by parallel compositions of processes sharing private names. Movements between complexes and formations of new complexes are represented as transmissions of private names. Once a complex is formed, its components interact by communicating on complementary sites.
Moreover, since the calculus is stochastic, the behavior of biological system can also be described and analyzed quantitatively. Two simulators for the biochemical stochastic pi-calculus exist that implement the direct method of the stochastic simulation algorithm (BioSPI).
In Guerriero et al. (2009), the authors present a simple and nice example of a biological system modeled with biochemical pi-calculus that we want to report here for showing the language on a...
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Guerriero ML, Prandi D, Priami C, Quaglia P (2009) Process calculi abstractions for biology. In: Condon A, Harel D (eds) Process calculi abstractions for biology in algorithmic bioprocesses. Springer, Heidelberg
Priami C (1995) Stochastic pi-calculus. Comput J 38(6):578–589
Priami C, Regev A, Silverman W, Shapiro E (2001) Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf Process Lett 80(1):25–31
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media, LLC
About this entry
Cite this entry
Palmisano, A., Priami, C. (2013). Stochastic pi-Calculus. In: Dubitzky, W., Wolkenhauer, O., Cho, KH., Yokota, H. (eds) Encyclopedia of Systems Biology. Springer, New York, NY. https://doi.org/10.1007/978-1-4419-9863-7_767
Download citation
DOI: https://doi.org/10.1007/978-1-4419-9863-7_767
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4419-9862-0
Online ISBN: 978-1-4419-9863-7
eBook Packages: Biomedical and Life SciencesReference Module Biomedical and Life Sciences