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.
Type de document :
Communication dans un congrès
Second International Conference on Algebraic Biology, Jul 2007, Linz, Austria. SV, 4545, pp.232-246, 2007
Liste complète des métadonnées

https://hal.inria.fr/inria-00121104
Contributeur : Joachim Niehren <>
Soumis le : mardi 1 mai 2007 - 12:25:28
Dernière modification le : vendredi 23 mars 2018 - 11:17:44
Document(s) archivé(s) le : mercredi 7 avril 2010 - 02:58:00

Fichier

0.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. SV, 4545, pp.232-246, 2007. 〈inria-00121104v3〉

Partager

Métriques

Consultations de la notice

346

Téléchargements de fichiers

151