A Stochastic Pi Calculus for Concurrent Objects

@incollection{citeulike:2193781, 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 continuous time Markov chains, and show how to compile SpiCO back into the biochemical stochastic π calculus while preserving semantics.}, author = {Kuttler, C\'{e}line and Lhoussaine, C\'{e}dric and Niehren, Joachim }, citeulike-article-id = {2193781}, doi = {http://dx.doi.org/10.1007/978-3-540-73433-8\_17}, journal = {Algebraic Biology}, pages = {232--246}, posted-at = {2008-03-13 19:07:02}, priority = {0}, title = {A Stochastic Pi Calculus for Concurrent Objects}, url = {http://dx.doi.org/10.1007/978-3-540-73433-8\_17}, year = {2007} }

TY - CHAP ID - citeulike:2193781 L3 - citeulike-article-id:2193781 TI - A Stochastic Pi Calculus for Concurrent Objects JF - Algebraic Biology SP - 232 EP - 246 N2 - 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. AU - Kuttler, Céline AU - Lhoussaine, Cédric AU - Niehren, Joachim PY - 2007/// UR - http://dx.doi.org/10.1007/978-3-540-73433-8_17 ER -