{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:08:19Z","timestamp":1743026899710,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319405773"},{"type":"electronic","value":"9783319405780"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40578-0_5","type":"book-chapter","created":{"date-parts":[[2016,6,29]],"date-time":"2016-06-29T20:25:20Z","timestamp":1467231920000},"page":"73-88","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Reversible Causal Graph Dynamics"],"prefix":"10.1007","author":[{"given":"Pablo","family":"Arrighi","sequence":"first","affiliation":[]},{"given":"Simon","family":"Martiel","sequence":"additional","affiliation":[]},{"given":"Simon","family":"Perdrix","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,30]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-31585-5_9","volume-title":"Automata, Languages, and Programming","author":"P Arrighi","year":"2012","unstructured":"Arrighi, P., Dowek, G.: Causal graph dynamics. In: Czumaj, A., Mehlhorn, K., Pitts, A., Wattenhofer, R. (eds.) ICALP 2012, Part II. LNCS, vol. 7392, pp. 54\u201366. Springer, Heidelberg (2012)"},{"unstructured":"Arrighi, P., Martiel, S., Nesme, V., Cayley, G.: Graphs, cellular automata over them submitted (long version) (2013). Pre-print arXiv:1212.0027","key":"5_CR2"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1016\/j.jcss.2010.05.004","volume":"77","author":"P Arrighi","year":"2010","unstructured":"Arrighi, P., Nesme, V., Werner, R.: Unitarity plus causality implies localizability. J. Comput. Syst. Sci. 77, 372\u2013378 (2010). QIP 2010 (long talk)","journal-title":"J. Comput. Syst. Sci."},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-319-22177-9_27","volume-title":"Fundamentals of Computation Theory","author":"P Arrighi","year":"2015","unstructured":"Arrighi, P., Martiel, S., Perdrix, S.: Block representation of reversible causal graph dynamics. In: Kosowski, A., Walukiewicz, I. (eds.) FCT 2015. LNCS, vol. 9210, pp. 351\u2013363. Springer, Heidelberg (2015)"},{"issue":"2\u20133","key":"5_CR5","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/0022-0000(87)90030-4","volume":"34","author":"P Boehm","year":"1987","unstructured":"Boehm, P., Fonio, H.R., Habel, A.: Amalgamation of graph transformations: a synchronization mechanism. J. Comput. Syst. Sci. 34(2\u20133), 377\u2013408 (1987)","journal-title":"J. Comput. Syst. Sci."},{"issue":"1","key":"5_CR6","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. Theoret. Comput. Sci. 325(1), 69\u2013110 (2004). Computational Systems Biology","journal-title":"Theoret. Comput. Sci."},{"key":"5_CR7","first-page":"154","volume":"145","author":"JO Durand-Lose","year":"2001","unstructured":"Durand-Lose, J.O.: Representing reversible cellular automata with reversible block cellular automata. Discret. Math. Theoret. Comput. Sci. 145, 154 (2001)","journal-title":"Discret. Math. Theoret. Comput. Sci."},{"issue":"1\u20132","key":"5_CR8","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0304-3975(93)90066-3","volume":"109","author":"H Ehrig","year":"1993","unstructured":"Ehrig, H., Lowe, M.: Parallel and distributed derivations in the single-pushout approach. Theoret. Comput. Sci. 109(1\u20132), 123\u2013143 (1993)","journal-title":"Theoret. Comput. Sci."},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/11804192_2","volume-title":"Formal Methods for Components and Objects","author":"G-L Ferrari","year":"2006","unstructured":"Ferrari, G.-L., Hirsch, D., Lanese, I., Montanari, U., Tuosto, E.: Synchronised hyperedge replacement as a model for service oriented computing. In: Boer, F.S., Bonsangue, M.M., Graf, S., Roever, W.-P. (eds.) FMCO 2005. LNCS, vol. 4111, pp. 22\u201343. Springer, Heidelberg (2006)"},{"issue":"2","key":"5_CR10","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/PL00011162","volume":"1","author":"M Gromov","year":"1999","unstructured":"Gromov, M.: Endomorphisms of symbolic algebraic varieties. J. Eur. Math. Soc. 1(2), 109\u2013197 (1999)","journal-title":"J. Eur. Math. Soc."},{"doi-asserted-by":"crossref","unstructured":"Hasslacher, B., Meyer, D.A.: Modelling dynamical geometry with lattice gas automata. In: Expanded Version of a Talk Presented at the Seventh International Conference on the Discrete Simulation of Fluids Held at the University of Oxford, June 1998","key":"5_CR11","DOI":"10.1142\/S0129183198001448"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/BF01691062","volume":"3","author":"GA Hedlund","year":"1969","unstructured":"Hedlund, G.A.: Endomorphisms and automorphisms of the shift dynamical system. Math. Syst. Theor. 3, 320\u2013375 (1969)","journal-title":"Math. Syst. Theor."},{"doi-asserted-by":"crossref","unstructured":"Kari, J.: Reversibility of 2D cellular automata is undecidable. In: Cellular Automata: Theory and Experiment, vol. 45, pp. 379\u2013385. MIT Press (1991)","key":"5_CR13","DOI":"10.1016\/0167-2789(90)90195-U"},{"issue":"1","key":"5_CR14","first-page":"47","volume":"29","author":"J Kari","year":"1996","unstructured":"Kari, J.: Representation of reversible cellular automata with block permutations. Theor. Comput. Syst. 29(1), 47\u201361 (1996)","journal-title":"Theor. Comput. Syst."},{"issue":"1\u20132","key":"5_CR15","doi-asserted-by":"crossref","first-page":"93","DOI":"10.3233\/FI-1999-381208","volume":"38","author":"J Kari","year":"1999","unstructured":"Kari, J.: On the circuit depth of structurally reversible cellular automata. Fundamenta Informaticae 38(1\u20132), 93\u2013107 (1999)","journal-title":"Fundamenta Informaticae"},{"issue":"4","key":"5_CR16","doi-asserted-by":"publisher","first-page":"046705","DOI":"10.1103\/PhysRevE.82.046705","volume":"82","author":"A Klales","year":"2010","unstructured":"Klales, A., Cianci, D., Needell, Z., Meyer, D.A., Love, P.J.: Lattice gas simulations of dynamical geometry in two dimensions. Phys. Rev. E. 82(4), 046705 (2010)","journal-title":"Phys. Rev. E."},{"unstructured":"Konopka, T., Markopoulou, F., Smolin, L.: Quantum graphity. Arxiv preprint arXiv:hep-th\/0611197 (2006)","key":"5_CR17"},{"issue":"1","key":"5_CR18","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/0304-3975(95)00038-X","volume":"148","author":"K Morita","year":"1995","unstructured":"Morita, K.: Reversible simulation of one-dimensional irreversible cellular automata. Theoret. Comput. Sci. 148(1), 157\u2013163 (1995)","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"5_CR19","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1103\/PhysRevD.12.385","volume":"12","author":"R Sorkin","year":"1975","unstructured":"Sorkin, R.: Time-evolution problem in Regge calculus. Phys. Rev. D. 12(2), 385\u2013396 (1975)","journal-title":"Phys. Rev. D."},{"doi-asserted-by":"crossref","unstructured":"Taentzer, G.: Parallel and distributed graph transformation: formal description and application to communication-based systems. Ph.D. thesis, Technische Universitat Berlin (1996)","key":"5_CR20","DOI":"10.1007\/3-540-61228-9_95"},{"issue":"1\u20132","key":"5_CR21","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(96)00215-0","volume":"186","author":"G Taentzer","year":"1997","unstructured":"Taentzer, G.: Parallel high-level replacement systems. Theoret. Comput. Sci. 186(1\u20132), 43\u201381 (1997)","journal-title":"Theoret. Comput. Sci."},{"issue":"4","key":"5_CR22","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0167-2789(02)00601-2","volume":"171","author":"K Tomita","year":"2002","unstructured":"Tomita, K., Kurokawa, H., Murata, S.: Graph automata: natural expression of self-reproduction. Physica D: Nonlinear Phenom. 171(4), 197\u2013210 (2002)","journal-title":"Physica D: Nonlinear Phenom."}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40578-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,2]],"date-time":"2022-07-02T11:52:27Z","timestamp":1656762747000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40578-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319405773","9783319405780"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40578-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"30 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}