{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T05:08:11Z","timestamp":1737176891944,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540006053"},{"type":"electronic","value":"9783540364818"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36481-1_3","type":"book-chapter","created":{"date-parts":[[2007,6,16]],"date-time":"2007-06-16T17:17:47Z","timestamp":1182014267000},"page":"21-34","source":"Crossref","is-referenced-by-count":15,"title":["Causal \u03c0-Calculus for Biochemical Modelling"],"prefix":"10.1007","author":[{"given":"Michele","family":"Curti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierpaolo","family":"Degano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cosima","family":"Tatiana Baldari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96:217\u2013248, 1992.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"3_CR2","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0304-3975(00)00093-1","volume":"253","author":"C. Bodei","year":"2000","unstructured":"C. Bodei, Degano P., and Priami C. Names of mobile agents handled locally. Theoretical Computer Science, 253, 2:155\u2013184, 2000. 22, 23","journal-title":"Theoretical Computer Science"},{"issue":"1\u20132","key":"3_CR3","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0304-3975(99)80003-6","volume":"216","author":"P. Degano","year":"1999","unstructured":"P. Degano and C. Priami. Non-interleaving semantics for mobile processes. Theoretical Computer Science, 216, 1\u20132:237\u2013270, 1999. 21, 22, 23, 25, 26, 27, 28","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"3_CR4","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1145\/384192.384194","volume":"33","author":"P. Degano","year":"2001","unstructured":"P. Degano and C. Priami. Enhanced operational semantics: A tool for describing and analysing concurrent systems. ACM Computing Surveys, 33, 2:135\u2013176, 2001. 22, 27","journal-title":"ACM Computing Surveys"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"S. Eker, M. Knapp, K. Laderoute, P. Lincoln, J. Meseguer, and K. Sonmez. Pathway logic: Simbolic analysis of biological signaling. In Proceedings of the Pacific Symposium on Biocomputing, pages 400\u2013412, 2002. 21, 32","DOI":"10.1142\/9789812799623_0038"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1038\/35053181","volume":"409","author":"D. Endy","year":"2001","unstructured":"D. Endy and R. Brent. Modelling cellular behaviour. Nature, 409:391\u2013395, 2001. 21, 32","journal-title":"Nature"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"G. Fournet and G. Gonthier. The reflexive chemical abstract machine and its join calculus. In Proc. 23rd ACM POPL, pages 372\u2013385, 1996.","DOI":"10.1145\/237721.237805"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"P. J. E. Goss and J. Peccoud. Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. In Proceedings of the National Academy of Sciences USA, number 12, pages 6750\u20136754, 1998. 21, 32","DOI":"10.1073\/pnas.95.12.6750"},{"key":"3_CR9","unstructured":"M. Heiner, I. Koch, and K. Voss. Analysis and simulation of steady states in metabolic pathways with petri nets. In K. Jensen, editor, CPN\u201901-Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pages 15\u201334, 2001. 21"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1016\/S0952-7915(00)00083-2","volume":"12","author":"L. P. Kane","year":"2000","unstructured":"L. P. Kane, J. Lin, and A. Weiss. Signal transduction by the tcr for antigen. Curr. Opin. Immunol., 12:242\u2013249, 2000. 28","journal-title":"Curr. Opin. Immunol."},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"2040","DOI":"10.1126\/science.1064621","volume":"293","author":"P. D. Karp","year":"2001","unstructured":"Peter D. Karp. Pathway databases: A case study in computational symbolic theories. Science, 293:2040\u20132044, 2001. 21, 22, 32","journal-title":"Science"},{"key":"3_CR12","doi-asserted-by":"crossref","first-page":"2703","DOI":"10.1091\/mbc.10.8.2703","volume":"10","author":"K. W. Kohn","year":"1999","unstructured":"Kurt W. Kohn. Molecular interaction map of the mammalian cell cycle control and dna repair systems. Molecular Biology of the Cell, 10:2703\u20132734, 1999. 21, 32","journal-title":"Molecular Biology of the Cell"},{"issue":"1","key":"3_CR13","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1093\/nar\/28.1.27","volume":"28","author":"M. Kanehisa","year":"2000","unstructured":"Kanehisa M. and Goto S. Kegg: Kyoto encyclopedia of genes and genomes. Nucleic Acids Res, 28(1):27\u201330, Jan 1 2000. 22","journal-title":"Nucleic Acids Res"},{"issue":"2","key":"3_CR14","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","unstructured":"R. Milner. Functions as processes. Math. Struct. in CS, 2(2):119\u2013141, 1992. 25","journal-title":"Math. Struct. in CS"},{"key":"3_CR15","unstructured":"R. Milner. Communicating and Mobile Systems: the \u03c0-calculus. Cambridge Univ. Press, 1999. 23"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0304-3975(93)90156-N","volume":"114","author":"R. Milner","year":"1993","unstructured":"R. Milner, J. Parrow, and D. Walker. Modal logics for mobile processes. Theoretical Computer Science, 114:149\u2013171, 1993. 25","journal-title":"Theoretical Computer Science"},{"key":"3_CR17","first-page":"133","volume":"10","author":"M. Nagasaki","year":"1999","unstructured":"M. Nagasaki, S. Onami, S. Miyano, and Kitano H. Bio-calculus: Its concept and molecular interaction. Genome Informatics, 10:133\u2013143, 1999.","journal-title":"Genome Informatics"},{"issue":"10","key":"3_CR18","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1109\/32.962559","volume":"27","author":"C. Nottegar","year":"2001","unstructured":"C. Nottegar, C. Priami, and P. Degano. Performance evaluation of mobile processes via abstract machines. IEEE Trans. on Software Engineering, 27, 10:867\u2013889, 2001. 22, 27, 31","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"6","key":"3_CR19","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"C. Priami. Stochastic \u03c0-calculus. The Computer Journal, 38, 6:578\u2013589, 1995. 21, 27","journal-title":"The Computer Journal"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","volume":"80","author":"C. Priami","year":"2001","unstructured":"C. Priami, A. Regev, W. Silverman, and E. Shapiro. Application of a stochastic passing-name calculus to representation and simulation of molecular processes. Information Processing Letters, 80:25\u201331, 2001. 21, 29, 31","journal-title":"Information Processing Letters"},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1146\/annurev.immunol.15.1.707","volume":"15","author":"A. Rao","year":"1997","unstructured":"A. Rao, C. Luo, and P. G. Hogan. Transcription factors of the nfat family: regulation and function. Annu. Rev. Immunol., 15:707\u2013747, 1997. 28","journal-title":"Annu. Rev. Immunol."},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"A. Regev, W. Silverman, and E. Shapiro. Representation and simulation of biochemical processes using the \u03c0-calculus process algebra. In Pacific Symposium of Biocomputing (PSB2001), pages 459\u2013470, 2001. 21, 29, 31","DOI":"10.1142\/9789814447362_0045"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36481-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T08:15:26Z","timestamp":1737101726000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36481-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540006053","9783540364818"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-36481-1_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}