A stochastic pi calculus for concurrent objects

Authors:
Céline Kuttler;Cédric Lhoussaine;Joachim Niehren
Affiliations:
The Microsoft Research, University of Trento, Centre for Computational and Systems Biology, Italy;University of Lille 1, LIFL, Lille, France;INRIA Futurs, Lille, France
Venue:
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Year:
2007

Citing 13
Cited 12

A compositional approach to performance modelling

A compositional approach to performance modelling
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
A Typing System for a Calculus of Objects

Proceedings of the First JSSST International Symposium on Object Technologies for Advanced Software
MPA: a Stochastic Process Algebra

MPA: a Stochastic Process Algebra
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology
Simulation and verification for computational modelling of signalling pathways

Proceedings of the 38th conference on Winter simulation
Biological Transactions for Quantitative Models

Electronic Notes in Theoretical Computer Science (ENTCS)
Biomolecular Agents as Multi-behavioural Concurrent Objects

Electronic Notes in Theoretical Computer Science (ENTCS)
A fully abstract encoding of the π-calculus with data terms

ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Simulating bacterial transcription and translation in a stochastic π calculus

Transactions on Computational Systems Biology VI
Beta binders for biological interactions

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
The biochemical abstract machine BIOCHAM

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Gene regulation in the pi calculus: simulating cooperativity at the lambda switch

Transactions on Computational Systems Biology VII

Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes

Electronic Notes in Theoretical Computer Science (ENTCS)
The Attributed Pi Calculus

CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
An Abstract Machine for the Stochastic Bioambient calculus

Electronic Notes in Theoretical Computer Science (ENTCS)
Stochastic biological modelling in the presence of multiple compartments

Theoretical Computer Science
Dynamic Compartments in the Imperative Π-Calculus

CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Hierarchical modeling for computational biology

SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
π@: a π-based process calculus for the implementation of compartmentalised bio-inspired calculi

SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Biochemical reaction rules with constraints

ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
Rule-based modeling of transcriptional attenuation at the tryptophan operon

Winter Simulation Conference
Integrating diverse reaction types into stochastic models: a signaling pathway case study in the imperative π-calculus

Winter Simulation Conference
The attributed pi-calculus with priorities

Transactions on Computational Systems Biology XII
Rule-Based modeling of transcriptional attenuation at the tryptophan operon

Transactions on Computational Systems Biology XII

Quantified Score

Hi-index	0.01

Visualization

Abstract

We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It 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 p-calculus while preserving semantics.