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 6 articles )
Showing results 1 to 6 of 6.
- John, Mathias; Schulz, Hans-Jörg; Schumann, Heidrun; Uhrmacher, Adelinde M.; Unger, Andrea: Constructing and visualizing chemical reaction networks from pi-calculus models (2013)
- 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)
- Kuttler, Céline; Lhoussaine, Cédric; Niehren, Joachim: A stochastic pi calculus for concurrent objects (2007)