A Stochastic Pi Calculus for Concurrent Objects - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

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.
Fichier principal
Vignette du fichier
0.pdf (235.38 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00121104 , version 1 (21-12-2006)
inria-00121104 , version 2 (22-12-2006)
inria-00121104 , version 3 (01-05-2007)

Identifiers

  • HAL Id : inria-00121104 , version 3

Cite

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⟩
284 View
359 Download

Share

Gmail Facebook X LinkedIn More