A Stochastic Semantics for BioAmbients

We consider BioAmbients, a calculus for specifying biological entities and for simulating and analysing their behaviour. We extend BioAmbients to take quantitative information into account by defining a stochastic semantics, based on a simulation stochastic algorithm, to determine the actual rate of transitions. Keywords Process Calculi, Stochastic Operational Semantics, Systems Biology.

• Type: Conference
• Year: 2007
• Where: PACT
• Authors: Linda Brodo, Pierpaolo Degano, Corrado Priami
• Keywords: Distributed And Parallel Computing, PACT 2007, Simulation Stochastic Algorithm, Stochastic Operational Semantics, Stochastic Semantics