SpiCO

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 $pi$ 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 $pi$ calculus while preserving semantics.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 6 articles )

Showing results 1 to 6 of 6.
Sorted by year (citations)