{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:21:15Z","timestamp":1759638075229,"version":"3.41.0"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319208596"},{"type":"electronic","value":"9783319208602"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-20860-2_3","type":"book-chapter","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T08:15:57Z","timestamp":1434701757000},"page":"45-59","source":"Crossref","is-referenced-by-count":2,"title":["Real-Time Methods in Reversible Computation"],"prefix":"10.1007","author":[{"given":"Tommi","family":"Pesu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iain","family":"Phillips","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,20]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"17","author":"C Bennett","year":"1973","unstructured":"Bennett, C.: Logical reversibility of computation. IBM Journal of Research and Development 17, 525\u2013532 (1973)","journal-title":"IBM Journal of Research and Development"},{"issue":"4","key":"3_CR2","doi-asserted-by":"publisher","first-page":"766","DOI":"10.1137\/0218053","volume":"18","author":"C Bennett","year":"1989","unstructured":"Bennett, C.: Time\/space trade-offs for reversible computation. SIAM Journal on Computing 18(4), 766\u2013776 (1989)","journal-title":"SIAM Journal on Computing"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1017","DOI":"10.1007\/3-540-48224-5_82","volume-title":"Automata, Languages and Programming","author":"H Buhrman","year":"2001","unstructured":"Buhrman, H., Tromp, J., Vit\u00e1nyi, P.: Time and space bounds for reversible simulation. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol. 2076, pp. 1017\u20131027. Springer, Heidelberg (2001)"},{"key":"3_CR4","doi-asserted-by":"publisher","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 5, 183\u2013191 (1961)","journal-title":"IBM Journal of Research and Development"},{"issue":"2","key":"3_CR5","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1006\/jcss.1999.1672","volume":"60","author":"K Lange","year":"2000","unstructured":"Lange, K., McKenzie, P., Tapp, A.: Reversible space equals deterministic space. Journal of Computer and System Sciences 60(2), 354\u2013367 (2000)","journal-title":"Journal of Computer and System Sciences"},{"key":"3_CR6","first-page":"2597","volume":"257","author":"Y Lecerf","year":"1963","unstructured":"Lecerf, Y.: Machines de Turing r\u00e9versibles. R\u00e9cursive insolubilit\u00e9 en $$n \\in N$$ n \u2208 N de l\u2019\u00e9quation $$u = \\theta ^n u$$ u = \u03b8 n u , o\u00f9 $$\\theta $$ \u03b8 est un \"isomorphisme de codes\". Comptes Rendus 257, 2597\u20132600 (1963)","journal-title":"Comptes Rendus"},{"issue":"4","key":"3_CR7","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1137\/0219046","volume":"19","author":"R Levine","year":"1990","unstructured":"Levine, R., Sherman, A.: A note on Bennett\u2019s time-space tradeoff for reversible computation. SIAM Journal on Computing 19(4), 673\u2013677 (1990)","journal-title":"SIAM Journal on Computing"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1098\/rspa.1996.0039","volume":"452","author":"M Li","year":"1996","unstructured":"Li, M., Vit\u00e1nyi, P.: Reversibility and adiabatic computation: trading time and space for energy. Proc. Royal Society of London, Series A 452, 769\u2013789 (1996)","journal-title":"Proc. Royal Society of London, Series A"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Vit\u00e1nyi, P.: Time, space, and energy in reversible computing. In: Proceedings of the Second Conference on Computing Frontiers, 2005, Ischia, Italy, May 4\u20136, 2005, pp. 435\u2013444. ACM (2005)","DOI":"10.1145\/1062261.1062335"},{"key":"3_CR10","unstructured":"Williams, R.: Space-efficient reversible simulations (2000). http:\/\/www.stanford.edu\/ rrwill\/spacesim9_22.pdf"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20860-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T19:04:40Z","timestamp":1748459080000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-20860-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319208596","9783319208602"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20860-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}