A Stochastic Pi Calculus for Concurrent Objects

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 con-tinuous time Markov chains, and show how to compile SpiCO back into the biochemical stochastic π-calculus while preserving semantics.