On process rate semantics

Theoretical Computer Science

Volumn 391, Issue 3, 2008, Pages 190-215

  Cardelli, Luca ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

Author keywords

Chemical reactions; Stochastic process algebra

Indexed keywords

CHEMICAL REACTIONS; DIFFERENTIAL EQUATIONS; MATRIX ALGEBRA; RANDOM PROCESSES;

INTERACTION INTERFACES; MASS ACTION;

SEMANTICS;

EID: 38649092709     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2007.11.012     Document Type: Article

References (27)

1. Alur R., and Henzinger T.A. Reactive modules. Formal Methods in System Design 15 1 (1999) 1-48
2. M. Bernardo, L. Donatiello, R. Gorrieri, MPA: A Stochastic Process Algebra, Technical Report UBLCS-94-10, University of Bologna, Laboratory of Computer Science, 1994
3. Blossey R., Cardelli L., and Phillips A. A compositional approach to the stochastic dynamics of gene networks. Transactions on Computational Systems Biology IV. LNCS vol. 3939 (2006), Springer 99-122
4. L. Bortolussi, A. Policriti, Stochastic concurrent constraint programming and differential equations, in: Proc. QAPL'07 Quantitative Aspects of Programming Languages, 2007, pp. 41-54
5. Boyce W.E., and DiPrima R.C. Elementary Differential Equations and Boundary Value Problems. 5th ed. (1992), Wiley, New York
6. P. Buchholz, Markovian process algebra: Composition and equivalence, in: Proc. PAPM '94, Erlangen, Germany, 1994, pp. 11-30
7. L. Cardelli, A process algebra master equation, in: Proc. Fourth International Conference on the Quantitative Evaluation of Systems, QEST, 2007
8. M. Calder, S. Gilmore, J. Hillston, Automatically deriving ODEs from process algebra models of signalling pathways, in: Proc. Computational Methods in Systems Biology 2005, pp. 204-215
9. Dam M. On the decidability of process equivalences for the pi-calculus. Theoretical Computer Science 183 (1997) 215-228
10. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 (1977) 2340-2361
11. Gillespie D.T. The chemical Langevin equation. Journal of Chemical Physics 113 1 (2000) 297-306
12. Hermanns H. Interactive Markov Chains. Springer LNCS vol. 2428 (2002)
13. H. Hermanns, M. Rettelbach, Syntax, semantics, equivalences, and axioms for MTIPP, in: Proc. of PAPM '94, Erlangen, Germany, 1994, pp. 71-87
14. Götz N., Hermanns H., Herzog U., Mertsiotakis V., and Rettelbach M. Stochastic process algebras: Constructive specification techniques integrating functional, performance and dependability. In: Baccelli, and Mitrani (Eds). Quantitative Modelling in Parallel Systems (1995), Springer (Chapter 1)
15. Hillston J. A Compositional Approach to Performance Modelling (1996), Cambridge University Press
16. Hillston J. Fluid flow approximation of PEPA models. Proc. Second International Conference on the Quantitative Evaluation of Systems (2005), IEEE Press 33-43
17. Horn F., and Jackson R. General mass action kinetics. Archive Rational Mechanics Analysis 47 (1972) 81-116
18. M.Z. Kwiatkowska, G. Norman, D. Parker, Probabilistic symbolic model checking with PRISM: A hybrid approach, in: Proc. Tools and Algorithms for Construction and Analysis of Systems, TACAS, 2002, pp. 52-66
19. Milner R. Communicating and Mobile Systems: The π-Calculus (1999), Cambridge University Press
20. A. Phillips, L. Cardelli, A correct abstract machine for the stochastic pi-calculus, in: Proc. Concurrent Models in Molecular Biology, Bioconcur'04, affiliated with CONCUR'04, 2004
21. Priami C. Stochastic π-calculus. The Computer Journal 38 (1995) 578-589
22. Priami C., Regev A., Shapiro E., and Silverman W. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80 (2001) 25-31
23. A. Regev, Computational systems biology: A calculus for biomolecular knowledge, Ph.D. Thesis, Tel Aviv University, 2002
24. Regev A., and Shapiro E. Cellular abstractions: Cells as computation. Nature (2002) 343-419
25. Ullah M., and Wolkenhauer O. A general derivation of the differential Chapman-Kolmogorov equation (2006). http://www.citebase.org/abstract?id=oai:arXiv.org:q-bio/0610003
26. Ullah M., Schmidt H., Cho K.-H., and Wolkenhauer O. Deterministic modelling and stochastic simulation of pathways using MATLAB. IEE Proceedings Systems Biology 153 2 (2006) 53-60
27. Wolkenhauer O., Ullah M., Kolch W., and Cho K. Modelling and simulation of intracellular dynamics: Choosing an appropriate framework. IEEE Transactions on NanoBioscience 3 (2004) 200-207