An Abstract Machine for the Stochastic Bioambient calculus

Electronic Notes in Theoretical Computer Science

Volumn 227, Issue C, 2009, Pages 143-159

  Phillips, Andrew ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

Author keywords

abstract machine; bioambient calculus; correctness; implementation; stochastic

Indexed keywords

ABSTRACTING; FUNCTIONS; INFORMATION THEORY;

ABSTRACT MACHINE; BIOAMBIENT CALCULUS; CORRECTNESS; IMPLEMENTATION; STOCHASTIC;

CALCULATIONS;

EID: 58149305565     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.12.109     Document Type: Article

References (14)

1. Blossey R., Cardelli L., and Phillips A. A compositional approach to the stochastic dynamics of gene networks. Transactions in Computational Systems Biology 3939 (January 2006) 99-122
2. Linda Brodo, Pierpaolo Degano, and Corrado Priami. A stochastic semantics for bioambients. In PaCT, pages 22-34, 2007
3. Luca Cardelli. Brane calculi. In CMSB'04, pages 257-278, 2004
4. Luca Cardelli and Gianluigi Zavattaro. On the computational power of biochemistry. In Algebraic Biology, 2008. To Appear
5. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81 25 (1977) 2340-2361
6. Céline Kuttler, Cédric Lhoussaine, and Joachim Niehren. A stochastic pi calculus for concurrent objects. In AB, pages 232-246, 2007
7. Vinod Mugathan, Andrew Phillips, and Maria Vigliotti. Bam: Bioambient machine. In ACSD'08, 2008. To Appear
8. Phillips A. The Stochastic Pi-Machine. Available from (2007). http://research.microsoft.com/~aphillip/spim/
9. Andrew Phillips and Luca Cardelli. A correct abstract machine for the stochastic pi-calculus. In Concurrent Models in Molecular Biology, August 2004
10. Phillips A., and Cardelli L. Efficient, correct simulation of biological processes in the stochastic pi-calculus. Computational Methods in Systems Biology. LNCS volume 4695 (September 2007), Springer 184-199
11. Priami C. Stochastic π-calculus. The Computer Journal 38 6 (1995) 578-589
12. Regev A., Panina E.M., Silverman W., Cardelli L., and Shapiro E.Y. Bioambients: an abstraction for biological compartments. Theor. Comput. Sci. 325 1 (2004) 141-167
13. Cristian Versari. A core calculus for a comparative analysis of bio-inspired calculi. In ESOP, pages 411-425, 2007
14. Grazia Vigliotti M., and Harrison P.G. Stochastic ambient calculus. Electr. Notes Theor. Comput. Sci. 164 3 (2006) 169-186