Sciweavers

Share
AB
2007
Springer

A Stochastic Pi Calculus for Concurrent Objects

9 years 4 months ago
A Stochastic Pi Calculus for Concurrent Objects
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 π-calculus while preserving semantics.
Céline Kuttler, Cédric Lhoussaine, J
Added 06 Jun 2010
Updated 06 Jun 2010
Type Conference
Year 2007
Where AB
Authors Céline Kuttler, Cédric Lhoussaine, Joachim Niehren
Comments (0)
books