Skip to Main content Skip to Navigation
New interface
Conference papers

A Stochastic Pi Calculus for Concurrent Objects

Abstract : We present SpiCO, a new modeling and simulation language for system biology, based on the stochastic pi-calculus. SpiCO 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.
Complete list of metadata
Contributor : Joachim Niehren Connect in order to contact the contributor
Submitted on : Tuesday, May 1, 2007 - 12:25:28 PM
Last modification on : Friday, November 18, 2022 - 9:25:20 AM
Long-term archiving on: : Wednesday, April 7, 2010 - 2:58:00 AM


Files produced by the author(s)


  • HAL Id : inria-00121104, version 3


Céline Kuttler, Cédric Lhoussaine, Joachim Niehren. A Stochastic Pi Calculus for Concurrent Objects. Second International Conference on Algebraic Biology, Jul 2007, Linz, Austria. pp.232-246. ⟨inria-00121104v3⟩



Record views


Files downloads