Titre :

A Stochastic Pi Calculus for Concurrent Objects

Auteur(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]

Titre de la manifestation scientifique :

Second International Conference on Algebraic Biology

Ville :

Linz

Pays :

Autriche

Date de début de la manifestation scientifique :

2007-07-02

Éditeur :

SV

Date de publication :

2007

Discipline(s) HAL :

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]

Résumé en anglais : [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 ...
Lire la suite >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.Lire moins >

Langue :

Anglais

Comité de lecture :

Oui

Audience :

Internationale

Vulgarisation :

Non

Collections :

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

Source :

Harvested from HAL