BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
A core calculus for a comparative analysis of bio-inspired calculi
ESOP'07 Proceedings of the 16th European conference on Programming
A stochastic pi calculus for concurrent objects
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Efficient, correct simulation of biological processes in the stochastic pi-calculus
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
A compositional approach to the stochastic dynamics of gene networks
Transactions on Computational Systems Biology IV
A stochastic semantics for bioambients
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
Transactions on Computational Systems Biology X
Dynamic Compartments in the Imperative Π-Calculus
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Formal cell biology in biocham
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 BlenX language: a tutorial
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
A flexible architecture for performance experiments with the pi-Calculus and its extensions
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
A generic abstract machine for stochastic process calculi
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
On p systems as a modelling tool for biological systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Stochastic simulation of multiple process calculi for biology
Theoretical Computer Science
A compositional approach for modeling and simulation of bio-molecular systems
Proceedings of the Winter Simulation Conference
| Hi-index | 0.00 |
This paper presents an abstract machine for the stochastic bioambient calculus. The abstract machine is proved sound and complete with respect to a novel stochastic semantics, and is also shown to preserve the reduction probabilities of the calculus. The machine is implemented as an extension to an existing simulator for stochastic pi-calculus.