{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:57:25Z","timestamp":1725742645820},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642401831"},{"type":"electronic","value":"9783642401848"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40184-8_27","type":"book-chapter","created":{"date-parts":[[2013,7,22]],"date-time":"2013-07-22T21:50:56Z","timestamp":1374529856000},"page":"380-394","source":"Crossref","is-referenced-by-count":10,"title":["Thermodynamic Graph-Rewriting"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Danos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Russ","family":"Harmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo","family":"Honorato-Zimmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"27_CR1","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1038\/nmeth0211-130","volume":"8","author":"J.A. Bachman","year":"2011","unstructured":"Bachman, J.A., Sorger, P.: New approaches to modeling complex biochemistry. Nature Methods\u00a08(2), 130 (2011)","journal-title":"Nature Methods"},{"issue":"5966","key":"27_CR2","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1126\/science.1182105","volume":"327","author":"F. Bai","year":"2010","unstructured":"Bai, F., Branch, R.W., Nicolau Jr., D.V., Pilizota, T., Steel, B.C., Maini, P.K., Berry, R.M.: Conformational spread as a mechanism for cooperativity in the bacterial flagellar switch. Science\u00a0327(5966), 685\u2013689 (2010)","journal-title":"Science"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1007\/3-540-44881-0_4","volume-title":"RTA 2003","author":"O. Bournez","year":"2003","unstructured":"Bournez, O., C\u00f4me, G.-M., Conraud, V., Kirchner, H., Ibanescu, L.: A rule-based approach for automated generation of kinetic chemical mechanisms. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, pp. 30\u201345. Springer, Heidelberg (2003)"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Danos, V., Feret, J., Fontana, W., Krivine, J.: Scalable simulation of cellular signaling networks. In: Asian Symposium on Programming Languages and Systems, pp. 139\u2013157 (2007)","DOI":"10.1007\/978-3-540-76637-7_10"},{"issue":"2","key":"27_CR5","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1017\/S0960129512000114","volume":"23","author":"V. Danos","year":"2013","unstructured":"Danos, V., Harmer, R., Winskel, G.: Constraining rule-based dynamics with types. Mathematical Structures in Computer Science\u00a023(2), 272\u2013289 (2013)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"2","key":"27_CR6","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1017\/S0960129512000126","volume":"23","author":"V. Danos","year":"2013","unstructured":"Danos, V., Oury, N.: Equilibrium and termination II: the case of Petri Nets. Mathematical Structures in Computer Science\u00a023(2), 290\u2013307 (2013)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"4","key":"27_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2009.07.070","volume":"229","author":"V. Danos","year":"2009","unstructured":"Danos, V.: Agile modelling of cellular signalling. SOS 2008 Invited paper, Electronic Notes in Theoretical Computer Science\u00a0229(4), 3\u201310 (2009)","journal-title":"SOS 2008 Invited paper, Electronic Notes in Theoretical Computer Science"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Danos, V., Oury, N.: Equilibrium and termination. In: Barry Cooper, S., Panangaden, P., Kashefi, E. (eds.) Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics. EPTCS, vol.\u00a026, pp. 75\u201384 (2010)","DOI":"10.4204\/EPTCS.26.0"},{"key":"27_CR9","unstructured":"Diers, Y.: Familles universelles de morphismes. Tech. report, Universit\u00e9 des Sciences et Techniques de Lille I (1978)"},{"key":"27_CR10","unstructured":"Dixon, L., Kissinger, A.: Open graphs and monoidal theories. arXiv:1011.4114 (2010)"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Ehrig, H.: Handbook of graph grammars and computing by graph transformation: Applications, Languages and Tools, vol.\u00a02. World Scientific Publishing Company (1999)","DOI":"10.1142\/4180"},{"key":"27_CR12","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-1-59745-525-1_5","volume":"500","author":"J.R. Faeder","year":"2009","unstructured":"Faeder, J.R., Blinov, M.L., Hlavacek, W.S.: Rule-based modeling of biochemical systems with BioNetGen. Methods Mol. Biol.\u00a0500, 113\u2013167 (2009)","journal-title":"Methods Mol. Biol."},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Gross, T., Sayama, H.: Adaptive networks. Springer (2009)","DOI":"10.1007\/978-3-642-01284-6"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Hayman, J., Heindel, T.: Pattern graphs and rule-based models: The semantics of kappa. In: Pfenning, F. (ed.) FOSSACS 2013. LNCS, vol.\u00a07794, pp. 1\u201316. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-37075-5_1"},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"Heckel, R.: DPO transformation with open maps. Graph Transformations, 203\u2013217 (2012)","DOI":"10.1007\/978-3-642-33654-6_14"},{"key":"27_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-642-33654-6_14","volume-title":"Graph Transformations","author":"R. Heckel","year":"2012","unstructured":"Heckel, R.: Dpo transformation with open maps. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol.\u00a07562, pp. 203\u2013217. Springer, Heidelberg (2012)"},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"Hlavacek, W.S., Faeder, J.R., Blinov, M.L., Posner, R.G., Hucka, M., Fontana, W.: Rules for modeling signal-transduction systems. Science Signalling\u00a02006(344) (2006)","DOI":"10.1126\/stke.3442006re6"},{"key":"27_CR18","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.entcs.2008.10.006","volume":"218","author":"J. Krivine","year":"2008","unstructured":"Krivine, J., Milner, R., Troina, A.: Stochastic bigraphs. Electronic Notes in Theoretical Computer Science\u00a0218, 73\u201396 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"27_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-540-24727-2_20","volume-title":"Foundations of Software Science and Computation Structures","author":"S. Lack","year":"2004","unstructured":"Lack, S., Soboci\u0144ski, P.: Adhesive categories. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 273\u2013288. Springer, Heidelberg (2004)"},{"key":"27_CR20","doi-asserted-by":"crossref","unstructured":"Lopez, C.F., Muhlich, J.L., Bachman, J.A., Sorger, P.K.: Programming biological models in python using pysb. Molecular Systems Biology\u00a09(1) (2013)","DOI":"10.1038\/msb.2013.1"},{"key":"27_CR21","doi-asserted-by":"crossref","unstructured":"Lynch, J.: A logical characterization of individual-based models. In: Proceedings of Logic in Computer Science, pp. 203\u2013217 (2008)","DOI":"10.1109\/LICS.2008.27"},{"issue":"6","key":"27_CR22","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1063\/1.1699114","volume":"21","author":"N. Metropolis","year":"1953","unstructured":"Metropolis, N., Rosenbluth, A.W., Rosenbluth, M.N., Teller, A.H., Teller, E., et al.: Equation of state calculations by fast computing machines. The Journal of Chemical Physics\u00a021(6), 1087 (1953)","journal-title":"The Journal of Chemical Physics"},{"key":"27_CR23","doi-asserted-by":"crossref","unstructured":"Murphy, E., Danos, V., Feret, J., Harmer, R., Krivine, J.: Rule-based modelling and model resolution. In: Lohdi, H., Muggleton, S. (eds.) Elements of Computational Systems Biology. Wiley (2010)","DOI":"10.1002\/9780470556757.ch4"},{"key":"27_CR24","doi-asserted-by":"crossref","unstructured":"Tiger, C.-F., Krause, F., Cedersund, G., Palm\u00e9r, R., Klipp, E., Hohmann, S., Kitano, H., Krantz, M.: A framework for mapping, visualisation and automatic model creation of signal-transduction networks. Molecular Systems Biology\u00a08(1) (2012)","DOI":"10.1038\/msb.2012.12"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2013 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40184-8_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T22:45:09Z","timestamp":1557960309000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40184-8_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642401831","9783642401848"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40184-8_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}