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.
A stochastic semantics for BioAmbients / Brodo, Linda; Degano, P; Priami, C.. - LNCS 4671:(2007), pp. 22-34. (Intervento presentato al convegno Parallel Computing Technologies (PACT-2007) tenutosi a Russia).
A stochastic semantics for BioAmbients
BRODO, Linda;
2007-01-01
Abstract
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.