×

zbMATH — the first resource for mathematics

Application of a stochastic name-passing calculus to representation and simulation of molecular processes. (English) Zbl 0997.92018
Summary: We describe a novel application of a stochastic name-passing calculus for the study of biomolecular systems. We specify the structure and dynamics of biochemical networks in a variant of the stochastic \(\pi\)-calculus, yielding a model which is mathematically well-defined and biologically faithful. We adapt the operational semantics of the calculus to account for both the time and probability of biochemical reactions, and present a computer implementation of the calculus for biochemical simulations.

MSC:
92C45 Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.)
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
92C40 Biochemistry, molecular biology
68U99 Computing methodologies and applications
Software:
Pict
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] The BioPSI project web site
[2] Barkai, N.; Leibler, S., Circadian clocks limited by noise, Nature, 403, 6767, 267-268, (2000)
[3] Bernardo, M.; Donatiello, L.; Gorrieri, R., A formal approach to the integration of performance aspects in the modelling and analysis of concurrent systems, Inform. and comput., 144, 83-154, (1998) · Zbl 0909.68074
[4] Buchholz, P., On a Markovian process algebra, technical report 500, informatik IV, (1994), University of Dortmund
[5] D’Argenio, P.R.; Katoen, J.-P.; Brinksma, E., An algebraic approach to the specification of stochastic systems, (), 126-147
[6] Field, T.; Harrison, P.; Kanani, K., Performance modelling and verification of cache coherency protocols, (), 199-214
[7] Gillespie, D.T., Exact stochastic simulation of coupled chemical reactions, J. phys. chemistry, 81, 25, 2340-2361, (1977)
[8] Goetz, N.; Herzog, U.; Rettelbach, M., Multiprocessor and distributed system design: the integration of functional specification and performance analysis using stochastic process algebras, (), 121-146
[9] Goss, P.J.E.; Peccoud, J., Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets, Proc. nat. acad. sci. USA, 95, 6750-6754, (1998)
[10] Hillston, J., A compositional approach to performance modelling, (1996), Cambridge University Press Cambridge
[11] Mahan, B.; Myers, R.J., University chemistry, (1987), Addison-Wesley Reading, MA
[12] Milner, R.; Parrow, J.; Walker, D., A calculus of mobile processes (I and II), Inform. and comput., 100, 1, 1-77, (1992)
[13] Pierce, B.C.; Turner, D.N., PICT: A programming language based on the pi-calculus, ()
[14] Priami, C., Stochastic \(π\)-calculus, Comput. J., 38, 6, 578-589, (1995)
[15] Regev, A.; Silverman, W.; Shapiro, E., Representing biomolecular processes with computer process algebra: \(π\)-calculus programs of signal transduction pathways, ()
[16] Shapiro, E., Concurrent prolog: A progress report, (), 157-187
[17] Silverman, W.; Hirsch, M.; Houri, A.; Shapiro, E., The logix system user manual, version 1.21, Concurrent prolog, II, (1987), MIT Press Cambridge, MA
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.