{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:46Z","timestamp":1761611206450,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_4","type":"book-chapter","created":{"date-parts":[[2007,6,16]],"date-time":"2007-06-16T17:17:47Z","timestamp":1182014267000},"page":"34-46","source":"Crossref","is-referenced-by-count":16,"title":["Graphs for Core Molecular Biology"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Danos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cosimo","family":"Laneve","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"4_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\u00e9rard Berry and G\u00e9rard Boudol. The chemical abstract machine. Theoretical Computer Science, 96:217\u2013248, 1992. 35","journal-title":"Theoretical Computer Science"},{"key":"4_CR2","first-page":"207","volume":"54","author":"A. Bouali","year":"1994","unstructured":"A. Bouali, S. Gnesi, and S. Larosa. JACK: Just another concurrency kit. Bulletin of the European Association for Theoretical Computer Science, 54:207\u2013224, October 1994. Technical Contributions. 35","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"[3] Marc Chiaverini and Vincent Danos. A core modeling language for the working molecular biologist. Communication to the International Workshop on Computational Methods in Systems Biology, 2003. 34","DOI":"10.1007\/3-540-36481-1_16"},{"key":"4_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Core formal molecular biology","author":"V. Danos","year":"2003","unstructured":"Vincent Danos and Cosimo Laneve. Core formal molecular biology. To appear in Proceedings of ESOP 2003-European Symposium on Programming, Lecture Notes in Computer Science, Springer Verlag, 2003. 34, 38"},{"key":"4_CR5","volume-title":"Graph Theory","author":"R. Diestel","year":"2000","unstructured":"Reinhard Diestel. Graph Theory. Springer, New-York, 2000. 41"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Jos\u00e9 Meseguer, and Kemal Sonmez. Pathway logic: Symbolic analysis of biological signaling. In Proceedings of the Pacific Symposium on Biocomputing, pages 400\u2013412, January 2002. To appear. 35","DOI":"10.1142\/9789812799623_0038"},{"key":"4_CR7","unstructured":"C\u00e9dric Fournet and Georges Gonthier. The reflexive chemical abstract machine and the join-calculus. In 23rd ACM Symposium on Principles of Programming Languages (POPL\u201996), 1996. 34, 35"},{"key":"4_CR8","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, n. 10:2703\u20132734, 1999. 34","journal-title":"Molecular Biology of the Cell"},{"key":"4_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1007\/3-540-55210-3_223","volume-title":"An interactive proof tool for process algebras","author":"H. Lin","year":"1992","unstructured":"H. Lin. An interactive proof tool for process algebras. In Alain Finkel and Matthias Jantzen, editors, Proceedings of Symposion on Theoretical Aspects of Computer Science (STACS\u2019 92), volume 577 of LNCS, pages 617\u2013618, Berlin, Germany, February 1992. Springer. 35"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes I and II. Information and Computation, 100:1\u201341, 42-78, 1992. 34, 35","journal-title":"Information and Computation"},{"key":"4_CR11","first-page":"133","volume":"10","author":"M. Nagasaki","year":"1999","unstructured":"Masao Nagasaki, Shuichi Onami, Satoru Miyano, and Hiroaki Kitano. Biocalculus: Its concept and molecular interaction. Genome Informatics, 10:133\u2013143, 1999. 34","journal-title":"Genome Informatics"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Corrado Priami, Aviv Regev, Ehud Shapiro, and William Silverman. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters, 2001. in press. 34","DOI":"10.1016\/S0020-0190(01)00214-9"},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1038\/419034a","volume":"419","author":"Aviv Regev and Ehud Shapiro","year":"2002","unstructured":"Aviv Regev and Ehud Shapiro. Cells as computation. Nature, 419, September 2002. 34","journal-title":"Nature"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Aviv Regev, William Silverman, and Ehud Shapiro. Representation and simulation of biochemical processes using the \u03c0-calculus process algebra. In R. B. Altman, A. K. Dunker, L. Hunter, and T. E.T Klein, editors, Pacific Symposium on Biocomputing, volume 6, pages 459\u2013470, Singapore, 2001. World Scientific Press. 34","DOI":"10.1142\/9789814447362_0045"},{"key":"4_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1007\/3-540-58179-0_73","volume-title":"CAV\u201994: Computer Aided Verification","author":"B. Victor","year":"1994","unstructured":"Bj\u00f6rn Victor and Faron Moller. The Mobility Workbench-a tool for the \u03c0-calculus. In David Dill, editor, CAV\u201994: Computer Aided Verification, volume 818 of Lecture Notes in Computer Science, pages 428\u2013440. Springer-Verlag, 1994. 35"},{"issue":"2","key":"4_CR16","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/4434.846193","volume":"8","author":"P. T. Wojciechowski","year":"2000","unstructured":"Pawel T. Wojciechowski and Peter Sewell. Nomadic Pict: Language and infrastructure design for mobile agents. IEEE Concurrency, 8(2):42\u201352, April\/June 2000. 39","journal-title":"IEEE Concurrency"}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T08:15:30Z","timestamp":1737101730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36481-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540006053","9783540364818"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-36481-1_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}