×

zbMATH — the first resource for mathematics

On process rate semantics. (English) Zbl 1133.68054
Summary: We provide translations between process algebra and systems of chemical reactions. We show that the translations preserve discrete-state (stochastic) and continuous-state (concentration) semantics, and in particular that the continuous-state semantics of processes corresponds to the differential equations of chemistry based on the law of mass action. The novel semantics of processes so obtained equates processes that have the same state occupation dynamics, but which may have different interaction interfaces.

MSC:
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
92E20 Classical flows, reactions, etc. in chemistry
Software:
PRISM
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Alur, R.; Henzinger, T.A., Reactive modules, Formal methods in system design, 15, 1, 1-48, (1999)
[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.; Phillips, A., A compositional approach to the stochastic dynamics of gene networks, (), 99-122 · Zbl 1179.92021
[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 · Zbl 1279.92031
[5] Boyce, W.E.; DiPrima, R.C., Elementary differential equations and boundary value problems, (1992), Wiley New York · Zbl 0807.34002
[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, 215-228, (1997) · Zbl 0901.68033
[10] Gillespie, D.T., Exact stochastic simulation of coupled chemical reactions, Journal of physical chemistry, 81, 2340-2361, (1977)
[11] Gillespie, D.T., The chemical Langevin equation, Journal of chemical physics, 113, 1, 297-306, (2000)
[12] Hermanns, H., ()
[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.; Rettelbach, M., Stochastic process algebras: constructive specification techniques integrating functional, performance and dependability, (), (Chapter 1) · Zbl 0845.68073
[15] Hillston, J., A compositional approach to performance modelling, (1996), Cambridge University Press
[16] Hillston, J., Fluid flow approximation of PEPA models, (), 33-43
[17] Horn, F.; Jackson, R., General mass action kinetics, Archive rational mechanics analysis, 47, 81-116, (1972)
[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 · Zbl 1043.68576
[19] Milner, R., Communicating and mobile systems: the \(\pi\)-calculus, (1999), Cambridge University Press · Zbl 0942.68002
[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 \(\pi\)-calculus, The computer journal, 38, 578-589, (1995)
[22] Priami, C.; Regev, A.; Shapiro, E.; Silverman, W., Application of a stochastic name-passing calculus to representation and simulation of molecular processes, Information processing letters, 80, 25-31, (2001) · Zbl 0997.92018
[23] A. Regev, Computational systems biology: A calculus for biomolecular knowledge, Ph.D. Thesis, Tel Aviv University, 2002
[24] Regev, A.; Shapiro, E., Cellular abstractions: cells as computation, Nature, 343-419, (2002)
[25] Ullah, M.; Wolkenhauer, O., A general derivation of the differential chapman – kolmogorov equation, (2006)
[26] Ullah, M.; Schmidt, H.; Cho, K.-H.; Wolkenhauer, O., Deterministic modelling and stochastic simulation of pathways using MATLAB, IEE Proceedings systems biology, 153, 2, 53-60, (2006)
[27] Wolkenhauer, O.; Ullah, M.; Kolch, W.; Cho, K., Modelling and simulation of intracellular dynamics: choosing an appropriate framework, IEEE transactions on nanobioscience, 3, 200-207, (2004)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.