{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T15:07:16Z","timestamp":1791299236060,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540852377","type":"print"},{"value":"9783540852384","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85238-4_34","type":"book-chapter","created":{"date-parts":[[2008,8,18]],"date-time":"2008-08-18T15:34:36Z","timestamp":1219073676000},"page":"419-430","source":"Crossref","is-referenced-by-count":35,"title":["Periodicity and Immortality in Reversible Computing"],"prefix":"10.1007","author":[{"given":"Jarkko","family":"Kari","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nicolas","family":"Ollinger","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"34_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1147\/rd.53.0183","volume":"5","author":"R. Landauer","year":"1961","unstructured":"Landauer, R.: Irreversibility and heat generation in the computing process. IBM Journal of Research and Development\u00a05, 183\u2013191 (1961)","journal-title":"IBM Journal of Research and Development"},{"key":"34_CR2","first-page":"2597","volume":"257","author":"Y. Lecerf","year":"1963","unstructured":"Lecerf, Y.: Machines de turing r\u00e9versibles. C. R. Acad. Sci. Paris\u00a0257, 2597\u20132600 (1963)","journal-title":"C. R. Acad. Sci. Paris"},{"issue":"6","key":"34_CR3","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"17","author":"C.B. Bennett","year":"1973","unstructured":"Bennett, C.B.: Logical reversibility of computation. IBM Journal of Research and Development\u00a017(6), 525\u2013532 (1973)","journal-title":"IBM Journal of Research and Development"},{"key":"34_CR4","volume-title":"Computation: Finite and Infinite Machines","author":"M. Minsky","year":"1967","unstructured":"Minsky, M.: Computation: Finite and Infinite Machines. Prentice Hall, Englewoods Cliffs (1967)"},{"issue":"2","key":"34_CR5","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/S0304-3975(96)00081-3","volume":"168","author":"K. Morita","year":"1996","unstructured":"Morita, K.: Universality of a reversible two-counter machine. Theor. Comput. Sci.\u00a0168(2), 303\u2013320 (1996)","journal-title":"Theor. Comput. Sci."},{"key":"34_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.tcs.2004.11.021","volume":"334","author":"J. Kari","year":"2005","unstructured":"Kari, J.: Theory of cellular automata: a survey. Theor. Comput. Sci.\u00a0334, 3\u201333 (2005)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"34_CR7","doi-asserted-by":"publisher","first-page":"219","DOI":"10.2307\/2269811","volume":"31","author":"P.K. Hooper","year":"1966","unstructured":"Hooper, P.K.: The undecidability of the turing machine immortality problem. J. Symb. Log.\u00a031(2), 219\u2013234 (1966)","journal-title":"J. Symb. Log."},{"key":"34_CR8","first-page":"7","volume-title":"43rd IEEE Conference on Decision and Control","author":"P. Collins","year":"2004","unstructured":"Collins, P., van Schuppen, J.H.: Observability of hybrid systems and turing machines. In: 43rd IEEE Conference on Decision and Control, vol.\u00a01, pp. 7\u201312. IEEE Press, Los Alamitos (2004)"},{"issue":"1-2","key":"34_CR9","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/S0304-3975(96)00025-4","volume":"174","author":"P. K\u016frka","year":"1997","unstructured":"K\u016frka, P.: On topological dynamics of turing machines. Theor. Comput. Sci.\u00a0174(1-2), 203\u2013216 (1997)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"34_CR10","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1016\/S0304-3975(01)00382-6","volume":"289","author":"V.D. Blondel","year":"2002","unstructured":"Blondel, V.D., Cassaigne, J., Nichitiu, C.M.: On the presence of periodic configurations in turing machines and in counter machines. Theor. Comput. Sci.\u00a0289(1), 573\u2013590 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"34_CR11","volume-title":"Algorithmic Bioprocesses","author":"J. Kari","year":"2008","unstructured":"Kari, J., Lukkarila, V.: Some undecidable dynamical properties for one-dimensional reversible cellular automata. In: Condon, A., Harel, D., Kok, J.N., Salomaa, A., Winfree, E. (eds.) Algorithmic Bioprocesses. Springer, Heidelberg (to appear, 2008)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85238-4_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:31:25Z","timestamp":1619523085000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85238-4_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540852377","9783540852384"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85238-4_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}