论文信息 - An Abstract Machine for the Stochastic Bioambient calculus

An Abstract Machine for the Stochastic Bioambient calculus

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.

Andrew Phillips

[1] Peter G. Harrison,et al. Stochastic Ambient Calculus , 2006, Electron. Notes Theor. Comput. Sci..

[2] Corrado Priami,et al. Stochastic pi-Calculus , 1995, Comput. J..

[3] Luca Cardelli,et al. BioAmbients: an abstraction for biological compartments , 2004, Theor. Comput. Sci..

[4] Joachim Niehren,et al. A Stochastic Pi Calculus for Concurrent Objects , 2007, AB.

[5] Maria Grazia Vigliotti,et al. BAM: BioAmbient machine , 2008, 2008 8th International Conference on Application of Concurrency to System Design.

[6] Luca Cardelli,et al. On the Computational Power of Biochemistry , 2008, AB.

[7] Luca Cardelli,et al. Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus , 2007, CMSB.

[8] D. Gillespie. Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[9] Corrado Priami,et al. A Stochastic Semantics for BioAmbients , 2007, PaCT.

[10] Cristian Versari,et al. A Core Calculus for a Comparative Analysis of Bio-inspired Calculi , 2007, ESOP.

[11] Luca Cardelli,et al. Brane Calculi , 2004, CMSB.

[12] Luca Cardelli,et al. A Compositional Approach to the Stochastic Dynamics of Gene Networks , 2006, Trans. Comp. Sys. Biology.

[13] Luca Cardelli,et al. A Correct Abstract Machine for the Stochastic Pi-calculus , 2004 .