Title :

A Stochastic Pi Calculus for Concurrent Objects

Author(s) :

Kuttler, Céline [Auteur]
Computational and Systems Biology [Trento] [COSBI]
Lhoussaine, Cedric [Auteur]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Niehren, Joachim [Auteur correspondant]
Programming Languages for Biological Modeling and Simulation [BioComputing]
Modeling Tree Structures, Machine Learning, and Information Extraction [MOSTRARE]

Conference title :

Second International Conference on Algebraic Biology

City :

Linz

Country :

Autriche

Start date of the conference :

2007-07-02

Publisher :

SV

Publication date :

2007

HAL domain(s) :

Informatique [cs]/Bio-informatique [q-bio.QM]
Sciences du Vivant [q-bio]/Bio-Informatique, Biologie Systémique [q-bio.QM]
Informatique [cs]/Langage de programmation [cs.PL]

English abstract : [en]

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 ...
Show more >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.Show less >

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL