×

zbMATH — the first resource for mathematics

A stochastic pi calculus for concurrent objects. (English) Zbl 1126.92003
Anai, Hirokazu (ed.) et al., Algebraic biology. Second international conference, AB 2007, Castle of Hagenberg, Austria, July 2–4, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73432-1/pbk). Lecture Notes in Computer Science 4545, 232-246 (2007).
Summary: 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.
For the entire collection see [Zbl 1121.92001].

MSC:
92B05 General biology and biomathematics
68N15 Theory of programming languages
68U20 Simulation (MSC2010)
Software:
SpiCO
PDF BibTeX XML Cite
Full Text: DOI