This article presents a stochastic model of lymphocyte recruitment in inflamed brain microvessels. Recent studies about the inflammatory process of the brain that leads to multiple sclerosis have revealed that lymphocyte extravasation is a sequence of dynamical states, mediated by partially overlapped interactions of different adhesion molecules and activation factors. This study’s model of lymphocyte recruitment is based on process algebras for mobile systems. The biochemical system is modelled as a set of concurrent processes of the biochemical stochastic π-calculus. Processes are driven by suitable probability distributions that quantitatively describe the rates and the times at which reactions to simulations occur. The results of the model reproduce, within the estimated experimental errors, the functional behavior of the data obtained from laboratory measurements.
[4] Priami, C. , A. Regev , W. Silverman , and E. Shapiro . 2001. Application of a stochastic name passing calculus to representation and simulation of molecular processes . Information Processing Letters80: 25-31 .
5.
[5] Regev, A. , W. Silverman , and E. Shapiro . 2000. Representing biomolecular processes with computer process algebra: π-calculus programs of signal transduction pathways. Menlo Park: American Association for Artificial Intelligence Publication .
6.
[6] Piccio, L. , B. Rossi , E. Scarpini , C. Laudanna , C. Giagulli , A. C. Issekutz , D. Vestweber , E. C. Butcher , and G. Costantin . 2002. Molecular mechanism involved in lymphocyte recruitment in in-flamed brain microvessel: Critical roles for P-select in glycoprotein ligand-1 and heterotrimeric Gi-linked receptors . Journal of Immunology168: 1940-1949 .
7.
[7] Gillespie, D.T.1977. Exact stochastic simulation of coupled chemical reactions . Journal of Physical Chemistry81 (25): 2340-2361 .
8.
[8] Gillespie, D. T.1976. A general method for numerically simulating the stochastic time evolution of coupled chemical species . Journal of Comparative Physiology22: 403-434 .
9.
[9] Regev, A. 2001. Representation and simulation of molecular pathways in the stochastic π-calculus . In Proceedings of the 2nd Workshop on Computation of Biochemical Pathways and Genetic Networks.
10.
[10] Regev, A. , W. Silverman , and E. Shapiro . 2001. Representation and simulation of biochemical processes using the π-calculus process algebra . Proceedings of the Pacific Symposium of Biocomputing (PSB2001) 6: 459-470 .
11.
[11] Evans, E.A.1995. Physical actions in biological adhesion. In Handbook of biophysics, vol. 1, edited by R. Lipowski and R. Sackmann . Amsterdam: Elsevier .
12.
[12] Lei, X. , and C. Dong . 1999. Cell deformation and adhesion kinetics in leukocyte rolling . In BED-Vol. 50, Bioengineering Conference, ASME.
13.
[13] Skalak, R. , P. R. Zarda , K. M. Jan , and S. Chien . 1981. Mechanics of rouleau formation . Biophysics Journal35: 771-781 .
14.
[14] Bell, G. I. , M. Dembo , and P. Bongrand . 1984. Cell adhesion: Competition between non-specific repulsion and specific bonding . Biophysics Journal45: 1051-1064 .
15.
[15] Vogler, E. A.1989. A thermodynamic model of short-term cell adhesion in vitro . Colloids and Surfaces42: 233 .
16.
[16] Bell, G. I.1978. Models for the specific adhesion of cells to cells . Science200: 618-627 .
17.
[17] Dembo, M. , D. C. Torney , K. Saxaman , and D. Hammer . 1978. The reaction-limited kinetics of membrane-to-surface adhesion and detachment . Proceedings of the Royal Society of London, Series B234: 55-83 .
18.
[18] Hammer, D.A. , and D.A. Lauffenburgher . 1987. A dynamical model for receptor-mediated cell adhesion to surfaces . Biophysics Journal52: 475-487 .
19.
[19] Chang, K. , D. F. J. Tees , and D.A. Hammer . 2000. The state diagram for cell adhesion under flow: Leukocyte adhesion and rolling . Proceedings of the National Academy of Sciences of the United States97: 11262-11267 .
20.
[20] Laudanna, C. , J. Y. Kim , G. Constantin , and E. C. Butcher . 2002. Rapid leukocyte integrin activation by chemokines . Immunological Reviews186 (1): 37-46 .
21.
[21] Dong, C. , J. Cao , E. J. Struble , and H. Lipowsky . 1999. Mechanics of leukocyte deformation and adhesion to endothelium in shear flow . Annual of Biomedical Engineering27: 298-312 .
22.
[22] Fritz, J. , A. G. Katopodis , F. Kolbinger , and D. Anselmetti . 1998. Force-mediated kinetics of single P-selectin/ligand complexes by atomic force microscopy . Proceedings of the National Academy of Sciences of the United States95: 12283-12288 .
23.
[23] Goldman, A. J. , R. G. Cox , and H. Brenner . 1967. Slow viscous motion of a sphere parallel to a plane wall: Couette flow . Chemical Engineering Science22: 653-660 .
24.
[24] N’dri, N. , W. Shyy , H. S. Udaykumar , and R. Tran-Son-tay . 2001. Computational modeling of cell adhesion and movement using continuum-kinetics approach . In BED-Vol. 50, Bioengineering Conference, ASME.
25.
[25] Zhu, C.2000. Kinetic and mechanics of cell adhesion . Journal of Biomechanics33: 23-33 .
26.
[26] Zhu, C. , G. Bao , and N. Wang . 2000. Cell mechanics: Mechanical response, cell adhesion and molecular deformation . Annual Review of Biomedical Engineering2: 189-226 .
27.
[27] Efroni, S. , D. Harel , and I. Cohen . 2003. Towards rigorous comprehension of biological complexity: Modeling, execution, and visualization of thymic T-cell maturation . Genome Research13 (11): 2485-2497 .
28.
[28] Goss, P. , and J. Peccoud . 1998. Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets . Proceedings of the National Academy of Sciences of the United States12: 6750-6754 .
29.
[29] Hofestadt, R. , and S. Thelen . 1998. Quantitative modeling of biochemical networks . In Silico Biology1 (1): 39-53 .
30.
[30] Kam, N. , D. Harel , and I. Cohen . 2001. Modeling biological reactivity: Statecharts vs. Boolean logic . In Proceedings of the Second International Conference on Systems Biology, pp. 301-310 .
31.
vol. 2602 in Lecture Notes in Computer Science, 4-20. New York: Springer .
32.
[32] De Jong, H.2002. Modeling and simulation of genetic regulatory systems: A literature review . Journal of Computational Biology9 (1): 67-103 .
33.
[33] van Gend, C. , and U. Kummer . 2001. STODE:An automatic stochastic simulation of systems described by differential equations. Pasadena: ICSB .
34.
[34] Degenring, D. , M. Röhl , and A. M. Uhrmacher . 2004. Discrete event, multi-level simulation of metabolite channeling. BioSystems, in press.
35.
[35] Cleaveland, R.1993. The concurrency workbench: A semantics-based verification tool for the verification of concurrent systems . ACM Transactions on Programming Languages and Systems15 (1): 36-72 .
36.
vol. 818 in Lecture Notes in Computer Science, 428-440. New York: Springer .
37.
[37] Norman, K. E. , A. G. Katopodis , G. Thoma , F. Kolbinger , A. E. Hicks , M. J. Cotter , A. G. Pockley , and P. G. Hellewell . 2000. P-selectin glycoprotein ligand-1 supports rolling on E- and P-selectin in vivo . Blood96 (10): 3585-3591 .
38.
[38] Chigaev, A. , A. M. Blenc , J.V. Braaten , N. Kumaraswamy , C. L. Kepley , R. P. Andrews , J. M. Oliver , B. S. Edwards , E. R. Prossnitz , R. S. Larson , and L.A. Sklar . 2001. Real time analysis of the affinity regulation of alpha 4-integrin: The physiologically activated receptor is intermediate in affinity between resting and Mn(2+) or antibody activation . Journal of Biological Chemistry276 (52): 48670-48678 .
39.
[39] D’Ambrogio, D. , C. Albanesi , R. Lang , G. Girolomoni , F. Siniglia , and C. Laudanna . 2002. Quantitative differences in chemokine receptor engagement generate diversity in integrin-dependent lymphocyte adhesion . Journal of Immunology169: 2303-2312 .
40.
[40] Goebel, M. U. , and P. J. Mills . 2000. Acute psychological stress and exercise and changes in peripheral leukocyte adhesion molecule expression and density . Psychosomatic Medicine62 (5): 664-670 .
