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.

• Type: Conference
• Year: 2007
• Where: AB
• Authors: Céline Kuttler, Cédric Lhoussaine, Joachim Niehren
• Keywords: AB 2007, Multi-profile Concurrent Objects, Stochastic, Time Markov Chains