A process algebra Master Equation

Proceedings - 4th International Conference on the Quantitative Evaluation of Systems, QEST 2007

Volumn , Issue , 2007, Pages 219-224

  Cardelli, Luca ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; RANDOM PROCESSES;

BINARY REACTIONS; INTERACTION RATES; MASTER EQUATIONS; PROBABILISTIC DESCRIPTIONS; PROCESS ALGEBRAS; STOCHASTIC PROCESS ALGEBRAS; STOCHASTIC PROCESSES;

SYSTEMS ANALYSIS;

EID: 47949099815     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2007.25     Document Type: Conference Paper

References (14)

1. L. Bortolussi, A. Policriti. Stochastic Concurrent Constraint Programming and Differential Equations. Proc. Fifth Workshop on Quantitative Aspects of Programming Languages, Braga, 2007.
2. M. Calder, S. Gilmore, J. Hillston: Automatically Deriving ODEs from Process Algebra Models of Signalling Pathways. Proc. Computational Methods in Systems Biology 2005, 204-215.
3. L. Cardelli: On Process Rate Semantics. Preprint available from http://LucaCardelli.name.
4. D.T. Gillespie. Exact Stochastic Simulation of Coupled Chemical Reactions. Journal of Physical Chemistry 81, pp. 2340-2361. 1977.
5. D.T. Gillespie. The chemical Langevin equation. Journal of Chemical Physics 113(1), 297-306,2000.
6. H. Hermanns. Interactive Markov Chains. Springer LNCS, vol 2428, 2002.
7. J. Hillston. A compositional approach to performance modelling. Cambridge University Press, 1996.
8. T. Jahnke, W. Huisinga. Solving the chemical master equation for monomolecular reaction systems analytically. Mathematical Biology 54(1): 1-26. Jan 2007.
9. H. Kitano. A graphical notation for biochemical networks. BioSilico 1(5): 169-76. 2003.
10. C. Priami. Stochastic π-calculus. The Computer Journal, 38, pp 578-589,1995.
11. C. Priami, A. Regev, E. Shapiro, W. Silverman. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80, 25-31. 2001.
12. A. Regev. Computational Systems Biology: A Calculus for Biomolecular knowledge. Ph.D. Thesis, Tel Aviv University. 2002.
13. A. Regev, E. Shapiro. Cellular abstractions: Cells as computation. Nature 419 343. 2002.
14. M. Ullah, O. Wolkenhauer. A general derivation of the differential Chapman-Kolmogorov equation. http://www.citebase.org/abstract?id=oai:arXiv.org: q-bio/0610003. 2006.