Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

17

PACT
2007
Springer

favoriteEmaildiscussreport

132views Distributed And Parallel Com...» more PACT 2007»

A Stochastic Semantics for BioAmbients

13 years 10 months ago

A Stochastic Semantics for BioAmbients

Download rap.dsi.unifi.it

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 deﬁning a stochastic semantics, based on a simulation stochastic algorithm, to determine the actual rate of transitions. Keywords Process Calculi, Stochastic Operational Semantics, Systems Biology.

Linda Brodo, Pierpaolo Degano, Corrado Priami

Real-time Traffic

Distributed And Parallel Computing | PACT 2007 | Simulation Stochastic Algorithm | Stochastic Operational Semantics | Stochastic Semantics |

claim paper

Related Content

» Modelling Intracellular Fate of FGF Receptors With BioAmbients

» BAM BioAmbient machine

» Dynamic Compartments in the Imperative piCalculus

» Active Evaluation Contexts for Reaction Semantics

» Expressiveness of Generic Process Shape Types

» A framework for performance evaluation and functional verification in stochastic process a...

» Semantics and Ambiguity of Stochastic RNA Family Models

» Evaluating fluid semantics for passive stochastic process algebra cooperation

» Stochastic Bigraphs

Post Info
More Details (n/a)

Added	08 Jun 2010
Updated	08 Jun 2010
Type	Conference
Year	2007
Where	PACT
Authors	Linda Brodo, Pierpaolo Degano, Corrado Priami

Comments (0)