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

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
RR-6076.pdf (435.69 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 2

Citer

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

Partager

Gmail Facebook X LinkedIn More