{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:01:23Z","timestamp":1742378483552,"version":"3.33.0"},"reference-count":42,"publisher":"SAGE Publications","issue":"6","license":[{"start":{"date-parts":[[2004,6,1]],"date-time":"2004-06-01T00:00:00Z","timestamp":1086048000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[2004,6]]},"abstract":" 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\u2019s 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 \u03c0-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. <\/jats:p>","DOI":"10.1177\/0037549704045800","type":"journal-article","created":{"date-parts":[[2004,9,14]],"date-time":"2004-09-14T00:00:29Z","timestamp":1095120029000},"page":"273-288","source":"Crossref","is-referenced-by-count":26,"title":["A Stochastic Process Algebra Approach to Simulation of Autoreactive Lymphocyte Recruitment"],"prefix":"10.1177","volume":"80","author":[{"given":"P.","family":"Lecca","sequence":"first","affiliation":[{"name":"Dip. Informatica e Telecomunicazioni, Universit\u00e0 di Trento, Italy"}]},{"given":"C.","family":"Priami","sequence":"additional","affiliation":[{"name":"Dip. Informatica e Telecomunicazioni, Universit\u00e0 di Trento, Italy"}]},{"given":"P.","family":"Quaglia","sequence":"additional","affiliation":[{"name":"Dip. Informatica e Telecomunicazioni, Universit\u00e0 di Trento, Italy,"}]},{"given":"B.","family":"Rossi","sequence":"additional","affiliation":[{"name":"Dip. Patologia, Universit\u00e0 di Verona, Italy"}]},{"given":"C.","family":"Laudanna","sequence":"additional","affiliation":[{"name":"Dip. Patologia, Universit\u00e0 di Verona, Italy"}]},{"given":"G.","family":"Constantin","sequence":"additional","affiliation":[{"name":"Dip. Patologia, Universit\u00e0 di Verona, Italy"}]}],"member":"179","published-online":{"date-parts":[[2004,6,1]]},"reference":[{"volume-title":"Communicating and mobile systems: The \u03c0-calculus","year":"1999","author":"Milner, R.","key":"atypb1"},{"volume-title":"The \u03c0-calculus: A theory of mobile processes","year":"2001","author":"Sangiorgi, D.","key":"atypb2"},{"doi-asserted-by":"publisher","key":"atypb3","DOI":"10.1093\/comjnl\/38.7.578"},{"doi-asserted-by":"publisher","key":"atypb4","DOI":"10.1016\/S0020-0190(01)00214-9"},{"volume-title":"Representing biomolecular processes with computer process algebra: \u03c0-calculus programs of signal transduction pathways","year":"2000","author":"Regev, A.","key":"atypb5"},{"doi-asserted-by":"publisher","key":"atypb6","DOI":"10.4049\/jimmunol.168.4.1940"},{"doi-asserted-by":"publisher","key":"atypb7","DOI":"10.1021\/j100540a008"},{"doi-asserted-by":"publisher","key":"atypb8","DOI":"10.1016\/0021-9991(76)90041-3"},{"volume-title":"Proceedings of the 2nd Workshop on Computation of Biochemical Pathways and Genetic Networks","author":"Regev, A.","key":"atypb9"},{"doi-asserted-by":"publisher","key":"atypb10","DOI":"10.1142\/9789814447362_0045"},{"doi-asserted-by":"publisher","key":"atypb11","DOI":"10.1016\/S1383-8121(06)80008-4"},{"volume-title":"BED-Vol. 50, Bioengineering Conference, ASME","author":"Lei, X.","key":"atypb12"},{"doi-asserted-by":"publisher","key":"atypb13","DOI":"10.1016\/S0006-3495(81)84826-6"},{"doi-asserted-by":"publisher","key":"atypb14","DOI":"10.1016\/S0006-3495(84)84252-6"},{"doi-asserted-by":"publisher","key":"atypb15","DOI":"10.1016\/0166-6622(89)80343-9"},{"doi-asserted-by":"publisher","key":"atypb16","DOI":"10.1126\/science.347575"},{"doi-asserted-by":"publisher","key":"atypb17","DOI":"10.1098\/rspb.1988.0038"},{"doi-asserted-by":"publisher","key":"atypb18","DOI":"10.1016\/S0006-3495(87)83236-8"},{"doi-asserted-by":"publisher","key":"atypb19","DOI":"10.1073\/pnas.200240897"},{"doi-asserted-by":"publisher","key":"atypb20","DOI":"10.1034\/j.1600-065X.2002.18604.x"},{"doi-asserted-by":"publisher","key":"atypb21","DOI":"10.1114\/1.143"},{"doi-asserted-by":"publisher","key":"atypb22","DOI":"10.1073\/pnas.95.21.12283"},{"doi-asserted-by":"publisher","key":"atypb23","DOI":"10.1016\/0009-2509(67)80048-4"},{"volume-title":"BED-Vol. 50, Bioengineering Conference, ASME","author":"N\u2019dri, N.","key":"atypb24"},{"doi-asserted-by":"publisher","key":"atypb25","DOI":"10.1016\/S0021-9290(99)00163-3"},{"doi-asserted-by":"publisher","key":"atypb26","DOI":"10.1146\/annurev.bioeng.2.1.189"},{"doi-asserted-by":"publisher","key":"atypb27","DOI":"10.1101\/gr.1215303"},{"doi-asserted-by":"publisher","key":"atypb28","DOI":"10.1073\/pnas.95.12.6750"},{"issue":"1","key":"atypb29","first-page":"39","volume":"1","author":"Hofestadt, R.","year":"1998","journal-title":"In Silico Biology"},{"volume-title":"Proceedings of the Second International Conference on Systems Biology","author":"Kam, N.","first-page":"301","key":"atypb30"},{"volume-title":"Proceedings of the 1st International Workshop on Computational Methods in Systems Biology","author":"Kam, N.","key":"atypb31"},{"unstructured":"vol. 2602 in Lecture Notes in Computer Science, 4-20. New York: Springer .","key":"atypb31"},{"doi-asserted-by":"publisher","key":"atypb32","DOI":"10.1089\/10665270252833208"},{"volume-title":"STODE:An automatic stochastic simulation of systems described by differential equations","year":"2001","author":"van Gend, C.","key":"atypb33"},{"doi-asserted-by":"publisher","key":"atypb34","DOI":"10.1016\/j.biosystems.2004.03.008"},{"doi-asserted-by":"publisher","key":"atypb35","DOI":"10.1145\/151646.151648"},{"volume-title":"Proceedings of CAV\u201994","author":"Victor, B.","key":"atypb36"},{"unstructured":"vol. 818 in Lecture Notes in Computer Science, 428-440. New York: Springer .","key":"atypb36"},{"doi-asserted-by":"publisher","key":"atypb37","DOI":"10.1182\/blood.V96.10.3585"},{"doi-asserted-by":"publisher","key":"atypb38","DOI":"10.1074\/jbc.M103194200"},{"doi-asserted-by":"publisher","key":"atypb39","DOI":"10.4049\/jimmunol.169.5.2303"},{"doi-asserted-by":"publisher","key":"atypb40","DOI":"10.1097\/00006842-200009000-00010"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549704045800","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549704045800","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,28]],"date-time":"2025-01-28T05:55:26Z","timestamp":1738043726000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0037549704045800"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,6]]},"references-count":42,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2004,6]]}},"alternative-id":["10.1177\/0037549704045800"],"URL":"https:\/\/doi.org\/10.1177\/0037549704045800","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"type":"print","value":"0037-5497"},{"type":"electronic","value":"1741-3133"}],"subject":[],"published":{"date-parts":[[2004,6]]}}}