{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:13:33Z","timestamp":1759637613365},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319091075"},{"type":"electronic","value":"9783319091082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09108-2_10","type":"book-chapter","created":{"date-parts":[[2014,7,4]],"date-time":"2014-07-04T09:07:01Z","timestamp":1404464821000},"page":"146-160","source":"Crossref","is-referenced-by-count":4,"title":["Transformation and Refinement of Rigid Structures"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Danos","sequence":"first","affiliation":[]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[]},{"given":"Pawel","family":"Sobocinski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0022-4049(93)90035-R","volume":"84","author":"A. Carboni","year":"1993","unstructured":"Carboni, A., Lack, S., Walters, R.: Introduction to extensive and distributive categories. Journal of Pure and Applied Algebra\u00a084, 145\u2013158 (1993)","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"2","key":"10_CR2","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"},{"key":"10_CR3","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Hayman, J., Krivine, J., Thompson-Walsh, C.D., Winskel, G.: Graphs, rewriting and pathway reconstruction for rule-based models. In: FSTTCS. LIPIcs, vol.\u00a018, pp. 276\u2013288 (2012)"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-74407-8_3","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"V. Danos","year":"2007","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-based modelling of cellular signalling. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol.\u00a04703, pp. 17\u201341. Springer, Heidelberg (2007)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-540-76637-7_10","volume-title":"Programming Languages and Systems","author":"V. Danos","year":"2007","unstructured":"Danos, V., Feret, J., Fontana, W., Krivine, J.: Scalable simulation of cellular signaling networks. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol.\u00a04807, pp. 139\u2013157. Springer, Heidelberg (2007)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-642-40184-8_27","volume-title":"CONCUR 2013 \u2013 Concurrency Theory","author":"V. Danos","year":"2013","unstructured":"Danos, V., Harmer, R., Honorato-Zimmer, R.: Thermodynamic Graph Rewriting. In: D\u2019Argenio, P.R., Melgratti, H. (eds.) CONCUR 2013 \u2013 Concurrency Theory. LNCS, vol.\u00a08052, pp. 380\u2013394. Springer, Heidelberg (2013)"},{"key":"10_CR7","unstructured":"Danos, V., Honorato-Zimmer, R., Jaramillo-Riveri, S., Stucki, S.: Deriving rate equations for site graph rewriting systems. In: Workshop on Static Analysis and Systems Biology, SASB, Seattle (2013)"},{"issue":"1","key":"10_CR8","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"V. Danos","year":"2004","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. Theor. Comput. Sci.\u00a0325(1), 69\u2013110 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Deeds, E., Krivine, J., Feret, J., Danos, V., Fontana, W.: Combinatorial complexity and compositional drift in protein interaction networks. PloS One e32032 (2012)","DOI":"10.1371\/journal.pone.0032032"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031909","volume-title":"Efficient Graph Rewriting and Its Implementation","author":"H. D\u00f6rr","year":"1995","unstructured":"D\u00f6rr, H.: Efficient Graph Rewriting and Its Implementation. LNCS, vol.\u00a0922. Springer, Heidelberg (1995)"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"3682","DOI":"10.1073\/pnas.1200709109","volume":"109","author":"R. Durrett","year":"2012","unstructured":"Durrett, R., Gleeson, J., Lloyd, A., Mucha, P., Shi, F., Sivakoff, D., Socoloar, J., Varghese, C.: Graph fission in an evolving voter model. Proceedings of the National Academy of Science\u00a0109, 3682\u20133687 (2012)","journal-title":"Proceedings of the National Academy of Science"},{"key":"10_CR12","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs Theor. Comput. Sci. Springer (2006)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Pfender, M., Schneider, H.: Graph grammars: An algebraic approach. In: IEEE Symposium on Switching and Automata Theory, pp. 167\u2013180. IEEE (1973)","DOI":"10.1109\/SWAT.1973.11"},{"issue":"16","key":"10_CR14","doi-asserted-by":"publisher","first-page":"6453","DOI":"10.1073\/pnas.0809908106","volume":"106","author":"J. Feret","year":"2009","unstructured":"Feret, J., Danos, V., Harmer, R., Krivine, J., Fontana, W.: Internal coarse-graining of molecular systems. PNAS\u00a0106(16), 6453\u20136458 (2009)","journal-title":"PNAS"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-37075-5_1","volume-title":"Foundations of Software Science and Computation Structures","author":"J. Hayman","year":"2013","unstructured":"Hayman, J., Heindel, T.: Pattern graphs and rule-based models: The semantics of Kappa. In: Pfenning, F. (ed.) FOSSACS 2013 (ETAPS 2013). LNCS, vol.\u00a07794, pp. 1\u201316. Springer, Heidelberg (2013)"},{"key":"10_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)"},{"issue":"2","key":"10_CR17","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1006\/inco.1996.0057","volume":"127","author":"A. Joyal","year":"1996","unstructured":"Joyal, A., Nielsen, M., Winskel, G.: Bisimulation from open maps. Inf. Comput.\u00a0127(2), 164\u2013185 (1996)","journal-title":"Inf. Comput."},{"key":"10_CR18","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)"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09108-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T03:16:59Z","timestamp":1558927019000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09108-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319091075","9783319091082"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09108-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}