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 metadatas

https://hal.inria.fr/inria-00121104
Contributor : Joachim Niehren <>
Submitted on : Tuesday, May 1, 2007 - 12:25:28 PM
Last modification on : Thursday, February 21, 2019 - 10:52:50 AM
Long-term archiving on : Wednesday, April 7, 2010 - 2:58:00 AM

File

0.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00121104, version 3

Citation

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⟩

Share

Metrics

Record views

426

Files downloads

340