A stochastic pi calculus for concurrent objects. We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic $pi $ 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 $pi $ calculus while preserving semantics.
Keywords for this software
References in zbMATH (referenced in 10 articles )
Showing results 1 to 10 of 10.
- Wright, Thomas; Stark, Ian: Modelling patterns of gene regulation in the bond-calculus (2020)
- John, Mathias; Schulz, Hans-Jörg; Schumann, Heidrun; Uhrmacher, Adelinde M.; Unger, Andrea: Constructing and visualizing chemical reaction networks from pi-calculus models (2013)
- John, Mathias; Lhoussaine, Cédric; Niehren, Joachim; Versari, Cristian: Biochemical reaction rules with constraints (2011)
- John, Mathias; Lhoussaine, Cédric; Niehren, Joachim; Uhrmacher, Adelinde M.: The attributed pi-calculus with priorities (2010)
- Kuttler, Céline; Lhoussaine, Cédric; Nebut, Mirabelle: Rule-based modeling of transcriptional attenuation at the tryptophan operon (2010)
- Phillips, Andrew: An abstract machine for the stochastic bioambient calculus (2009)
- Versari, Cristian; Busi, Nadia: Stochastic biological modelling in the presence of multiple compartments (2009)
- Pilegaard, Henrik; Nielson, Flemming; Nielson, Hanne Riis: Pathway analysis for BioAmbients (2008)
- Versari, Cristian; Busi, Nadia: Efficient stochastic simulation of biological systems with multiple variable volumes (2008)
- Kuttler, Céline; Lhoussaine, Cédric; Niehren, Joachim: A stochastic pi calculus for concurrent objects (2007)