Skip to Main content Skip to Navigation
Conference papers

A Stochastic Pi Calculus for Concurrent Objects

Céline Kuttler 1 Cédric Lhoussaine 2 Joachim Niehren 3, 4, *
* Corresponding author
1 COSBI - Computational and Systems Biology [Trento]
2 LIFL - Laboratoire d'Informatique Fondamentale de Lille
3 MOSTRARE - Modeling Tree Structures, Machine Learning, and Information Extraction
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
4 BioComputing - Programming Languages for Biological Modeling and Simulation
LIFL - Laboratoire d'Informatique Fondamentale de Lille
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.
Document type :
Conference papers
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 : Wednesday, January 13, 2021 - 4:24:02 PM
Long-term archiving on: : Wednesday, April 7, 2010 - 2:58:00 AM

File

Vignette du document
0.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00121104, version 3

Collections

INRIA | CNRS | UNIV-LILLE3 | LIFL | MOSTRARE | BIOCOMPUTING | CRISTAL

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

468

Files downloads

463