A stochastic semantics for bioambients

Authors:
Linda Brodo;Pierpaolo Degano;Corrado Priami
Affiliations:
Dipartimento di Scienze dei Linguaggi, Sassari, Italia;Dipartimento di Informatica, Pisa, Italia;The Microsoft Research - University of Trento Centre for Computational and Systems Biology, Povo (Tn), Italia
Venue:
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
Year:
2007

Citing 13
Cited 8

Communicating sequential processes

Communicating sequential processes
A calculus of mobile processes, I

Information and Computation
Mobile ambients

Theoretical Computer Science
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
Communication and Concurrency

Communication and Concurrency
Formal molecular biology

Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology
Probabilistic model checking of complex biological pathways

CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Feedbacks and oscillations in the virtual cell VICE

CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Machine learning biochemical networks from temporal logic properties

Transactions on Computational Systems Biology VI
Beta binders for biological interactions

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Brane calculi

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA

Transactions on Computational Systems Biology VII

An Abstract Machine for the Stochastic Bioambient calculus

Electronic Notes in Theoretical Computer Science (ENTCS)
Stochastic biological modelling in the presence of multiple compartments

Theoretical Computer Science
Dynamic Compartments in the Imperative Π-Calculus

CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Process algebras in systems biology

SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
The calculus of looping sequences

SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Foundational aspects of multiscale modeling of biological systems with process algebras

Theoretical Computer Science
Measurable stochastics for Brane Calculus

Theoretical Computer Science
Spatial modeling in cell biology at multiple levels

Proceedings of the Winter Simulation Conference

Quantified Score

Hi-index	0.00

Visualization

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.