A Stochastic Pi Calculus for Concurrent Objects - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport Technique) Année : 2006

A Stochastic Pi Calculus for Concurrent Objects

Céline Kuttler
  • Fonction : Auteur
Cédric Lhoussaine

Résumé

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
inria-report.pdf (592.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : inria-00121104 , version 1

Citer

Céline Kuttler, Cédric Lhoussaine, Joachim Niehren. A Stochastic Pi Calculus for Concurrent Objects. [Technical Report] 2006, pp.28. ⟨inria-00121104v1⟩
285 Consultations
359 Téléchargements

Partager

Gmail Facebook X LinkedIn More