{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T19:43:01Z","timestamp":1726083781279},"publisher-location":"Cham","reference-count":73,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030473600"},{"type":"electronic","value":"9783030473617"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,5,12]],"date-time":"2020-05-12T00:00:00Z","timestamp":1589241600000},"content-version":"vor","delay-in-days":132,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,5,12]],"date-time":"2020-05-12T00:00:00Z","timestamp":1589241600000},"content-version":"vor","delay-in-days":132,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"abstract":"Abstract<\/jats:title>\nSoftware plays a central role in all aspects of reversible computing. We survey the breadth of topics and recent activities on reversible software and systems including behavioural types, recovery, debugging, concurrency, and object-oriented programming. These have the potential to provide linguistic abstractions and tools that will lead to safer and more reliable reversible computing applications.<\/jats:p>","DOI":"10.1007\/978-3-030-47361-7_2","type":"book-chapter","created":{"date-parts":[[2020,5,13]],"date-time":"2020-05-13T15:10:54Z","timestamp":1589382654000},"page":"41-59","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Software and Reversible Systems: A\u00a0Survey of Recent Activities"],"prefix":"10.1007","author":[{"given":"Claudio Antares","family":"Mezzina","sequence":"first","affiliation":[]},{"given":"Rudolf","family":"Schlatte","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Gl\u00fcck","sequence":"additional","affiliation":[]},{"given":"Tue","family":"Haulund","sequence":"additional","affiliation":[]},{"given":"James","family":"Hoey","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Holm Cservenka","sequence":"additional","affiliation":[]},{"given":"Ivan","family":"Lanese","sequence":"additional","affiliation":[]},{"given":"Torben \u00c6.","family":"Mogensen","sequence":"additional","affiliation":[]},{"given":"Harun","family":"Siljak","sequence":"additional","affiliation":[]},{"given":"Ulrik P.","family":"Schultz","sequence":"additional","affiliation":[]},{"given":"Irek","family":"Ulidowski","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,5,12]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-642-38986-3_9","volume-title":"Reversible Computation","author":"HB Axelsen","year":"2013","unstructured":"Axelsen, H.B., Gl\u00fcck, R.: Reversible representation and manipulation of constructor terms in the heap. In: Dueck, G.W., Miller, D.M. (eds.) RC 2013. LNCS, vol. 7948, pp. 96\u2013109. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38986-3_9"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-540-74510-5_9","volume-title":"Computer Science \u2013 Theory and Applications","author":"HB Axelsen","year":"2007","unstructured":"Axelsen, H.B., Gl\u00fcck, R., Yokoyama, T.: Reversible machine code and its abstract processor architecture. In: Diekert, V., Volkov, M.V., Voronkov, A. (eds.) CSR 2007. LNCS, vol. 4649, pp. 56\u201369. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74510-5_9"},{"issue":"6","key":"2_CR3","doi-asserted-by":"publisher","first-page":"066201","DOI":"10.1103\/PhysRevE.86.066201","volume":"86","author":"F Bagnoli","year":"2012","unstructured":"Bagnoli, F., Rechtman, R., El Yacoubi, S.: Control of cellular automata. Phys. Rev. E 86(6), 066201 (2012)","journal-title":"Phys. Rev. E"},{"key":"2_CR4","unstructured":"Bagnoli, F., Siljak, H.: Control of reversible cellular automata (2019, Manuscript in preparation)"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.scico.2018.06.005","volume":"167","author":"F Barbanera","year":"2018","unstructured":"Barbanera, F., Lanese, I., de\u2019Liguoro, U.: A theory of retractable and speculative contracts. Sci. Comput. Program. 167, 25\u201350 (2018)","journal-title":"Sci. Comput. Program."},{"issue":"6","key":"2_CR6","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"17","author":"CH Bennett","year":"1973","unstructured":"Bennett, C.H.: Logical reversibility of computation. IBM J. Res. Dev. 17(6), 525\u2013532 (1973)","journal-title":"IBM J. Res. Dev."},{"key":"2_CR7","unstructured":"Bishop, P.G.: Using reversible computing to achieve fail-safety. In: Proceedings the Eighth International Symposium on Software Reliability Engineering, pp. 182\u2013191, November 1997"},{"key":"2_CR8","unstructured":"Carlsson, R., et al.: Core Erlang 1.0.3. Language specification (2004). https:\/\/www.it.uu.se\/research\/group\/hipe\/cerl\/doc\/core_erlang-1.0.3.pdf"},{"issue":"3","key":"2_CR9","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1145\/347823.347828","volume":"9","author":"CD Carothers","year":"1999","unstructured":"Carothers, C.D., Perumalla, K.S., Fujimoto, R.: Efficient optimistic parallel simulations using reverse computation. ACM Trans. Model. Comput. Simul. 9(3), 224\u2013253 (1999)","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Cassar, I., Francalanza, A., Mezzina, C.A., Tuosto, E.: Reliability and fault-tolerance by choreographic design. In: Francalanza, A., Pace, G.J. (eds.) Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017. EPTCS, vol. 254, pp. 69\u201380 (2017)","DOI":"10.4204\/EPTCS.254.6"},{"key":"2_CR11","unstructured":"Castellani, I., Dezani-Ciancaglini, M., Giannini, P.: Concurrent reversible sessions. In: Meyer, R., Nestmann, U. (eds.) International Conference on Concurrency Theory, CONCUR 2017. LIPIcs, vol. 85, pp. 30:1\u201330:17. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2017)"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"715","DOI":"10.1109\/32.940726","volume":"27","author":"S-K Chen","year":"2001","unstructured":"Chen, S.-K., Fuchs, W.K., Chung, J.-Y.: Reversible debugging using program instrumentation. IEEE Trans. Softw. Eng. 27, 715\u2013727 (2001)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-319-99498-7_19","volume-title":"Reversible Computation","author":"MH Cservenka","year":"2018","unstructured":"Cservenka, M.H., Gl\u00fcck, R., Haulund, T., Mogensen, T.\u00c6.: Data structures and dynamic memory management in reversible languages. In: Kari, J., Ulidowski, I. (eds.) RC 2018. LNCS, vol. 11106, pp. 269\u2013285. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99498-7_19"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-540-28644-8_19","volume-title":"CONCUR 2004 - Concurrency Theory","author":"V Danos","year":"2004","unstructured":"Danos, V., Krivine, J.: Reversible communicating systems. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 292\u2013307. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-28644-8_19"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-030-18506-0_2","volume-title":"Trends in Functional Programming","author":"F de Vries","year":"2019","unstructured":"de Vries, F., P\u00e9rez, J.A.: Reversible session-based concurrency in Haskell. In: Pa\u0142ka, M., Myreen, M. (eds.) TFP 2018. LNCS, vol. 11457, pp. 20\u201345. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-18506-0_2"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Dezani-Ciancaglini, M., Giannini, P.: Reversible multiparty sessions with checkpoints. In: Gebler, D., Peters, K. (eds.) Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS\/SOS 2016. EPTCS, vol. 222, pp. 60\u201374 (2016)","DOI":"10.4204\/EPTCS.222.0"},{"issue":"5","key":"2_CR17","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1109\/12.142678","volume":"41","author":"EN Elnozahy","year":"1992","unstructured":"Elnozahy, E.N., Zwaenepoel, W.: Manetho: transparent rollback-recovery with low overhead, limited rollback, and fast output commit. IEEE Trans. Comput. 41(5), 526\u2013531 (1992)","journal-title":"IEEE Trans. Comput."},{"key":"2_CR18","unstructured":"Engblom, J.: A review of reverse debugging. In: System, Software, SoC and Silicon Debug, pp. 1\u20136. IEEE (2012)"},{"issue":"5","key":"2_CR19","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1109\/58.156174","volume":"39","author":"M Fink","year":"1992","unstructured":"Fink, M.: Time reversal of ultrasonic fields. I. Basic principles. IEEE Trans. Ultrason. Ferroelectr. Freq. Control 39(5), 555\u2013566 (1992)","journal-title":"IEEE Trans. Ultrason. Ferroelectr. Freq. Control"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-319-93767-0_6","volume-title":"Distributed Applications and Interoperable Systems","author":"A Francalanza","year":"2018","unstructured":"Francalanza, A., Mezzina, C.A., Tuosto, E.: Reversible choreographies via monitoring in Erlang. In: Bonomi, S., Rivi\u00e8re, E. (eds.) DAIS 2018. LNCS, vol. 10853, pp. 75\u201392. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-93767-0_6"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Francalanza, A., Mezzina, C.A., Tuosto, E.: Towards choreographic-based monitoring. In: Ferreira, C., Lanese, I., Schultz, U., Ulidowski, I. (eds.) Reversible Computation: Theory and Applications. LNCS, vol. 12070. Springer, Heidelberg (2020)","DOI":"10.1007\/978-3-030-47361-7_6"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF01857727","volume":"21","author":"E Fredkin","year":"1982","unstructured":"Fredkin, E., Toffoli, T.: Conservative logic. Int. J. Theor. Phys. 21, 219\u2013253 (1982)","journal-title":"Int. J. Theor. Phys."},{"volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","year":"1995","author":"E Gamma","key":"2_CR23","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Boston (1995)"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Gay, D., Aiken, A.: Language support for regions. In: Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, PLDI 2001, pp. 70\u201380. ACM (2001)","DOI":"10.1145\/378795.378815"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/978-3-642-54804-8_26","volume-title":"Fundamental Approaches to Software Engineering","author":"E Giachino","year":"2014","unstructured":"Giachino, E., Lanese, I., Mezzina, C.A.: Causal-consistent reversible debugging. In: Gnesi, S., Rensink, A. (eds.) FASE 2014. LNCS, vol. 8411, pp. 370\u2013384. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54804-8_26"},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.jlamp.2016.09.003","volume":"88","author":"E Giachino","year":"2017","unstructured":"Giachino, E., Lanese, I., Mezzina, C.A., Tiezzi, F.: Causal-consistent rollback in a tuple-based language. J. Log. Algebr. Methods Program. 88, 99\u2013120 (2017)","journal-title":"J. Log. Algebr. Methods Program."},{"issue":"3","key":"2_CR27","first-page":"108","volume":"33","author":"R Gl\u00fcck","year":"2016","unstructured":"Gl\u00fcck, R., Yokoyama, T.: A linear-time self-interpreter of a reversible imperative language. Comput. Softw. 33(3), 108\u2013128 (2016)","journal-title":"Comput. Softw."},{"key":"2_CR28","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1016\/j.ipl.2019.03.002","volume":"147","author":"R Gl\u00fcck","year":"2019","unstructured":"Gl\u00fcck, R., Yokoyama, T.: Constructing a binary tree from its traversals by reversible recursion and iteration. Inf. Process. Lett. 147, 32\u201337 (2019)","journal-title":"Inf. Process. Lett."},{"key":"2_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-319-59936-6_5","volume-title":"Reversible Computation","author":"T Haulund","year":"2017","unstructured":"Haulund, T., Mogensen, T.\u00c6., Gl\u00fcck, R.: Implementing reversible object-oriented language features on reversible machines. In: Phillips, I., Rahaman, H. (eds.) RC 2017. LNCS, vol. 10301, pp. 66\u201373. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-59936-6_5"},{"key":"2_CR30","unstructured":"Hoey, J.: Reversing imperative concurrent programs. Ph.D. thesis, University of Leicester (2020)"},{"key":"2_CR31","doi-asserted-by":"crossref","unstructured":"Hoey, J., Lanese, I., Nishida, N., Ulidowski, I., Vidal, G.: A case study for reversible computing: reversible debugging. In: Ferreira, C., Lanese, I., Schultz, U., Ulidowski, I. (eds.) Reversible Computation: Theory and Applications. LNCS, vol. 12070. Springer, Heidelberg (2020)","DOI":"10.1007\/978-3-030-47361-7_5"},{"key":"2_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-030-21500-2_7","volume-title":"Reversible Computation","author":"J Hoey","year":"2019","unstructured":"Hoey, J., Ulidowski, I.: Reversible imperative parallel programs and debugging. In: Thomsen, M.K., Soeken, M. (eds.) RC 2019. LNCS, vol. 11497, pp. 108\u2013127. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21500-2_7"},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Hoey, J., Ulidowski, I., Yuen, S.: Reversing imperative parallel programs. In: Peters, K., Tini, S. (eds.) Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS\/SOS. EPTCS, vol. 255, pp. 51\u201366 (2017)","DOI":"10.4204\/EPTCS.255.0"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Hoey, J., Ulidowski, I., Yuen, S.: Reversing parallel programs with blocks and procedures. In: P\u00e9rez, J.A., Tini, S. (eds.) Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS\/SOS. EPTCS, vol. 276, pp. 69\u201386 (2018)","DOI":"10.4204\/EPTCS.276.0"},{"issue":"1","key":"2_CR35","first-page":"3:1","volume":"49","author":"H H\u00fcttel","year":"2016","unstructured":"H\u00fcttel, H., et al.: Foundations of session types and behavioural contracts. ACM Comput. Surv. 49(1), 3:1\u20133:36 (2016)","journal-title":"ACM Comput. Surv."},{"volume-title":"The Art of Computer Programming: Fundamental Algorithms","year":"1998","author":"DE Knuth","key":"2_CR36","unstructured":"Knuth, D.E.: The Art of Computer Programming: Fundamental Algorithms. Addison-Wesley, Boston (1998)"},{"key":"2_CR37","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 generated in the computing process. IBM J. Res. Dev. 5, 183\u2013191 (1961)","journal-title":"IBM J. Res. Dev."},{"key":"2_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-642-23217-6_20","volume-title":"CONCUR 2011 \u2013 Concurrency Theory","author":"I Lanese","year":"2011","unstructured":"Lanese, I., Mezzina, C.A., Schmitt, A., Stefani, J.-B.: Controlling reversibility in higher-order pi. In: Katoen, J.-P., K\u00f6nig, B. (eds.) CONCUR 2011. LNCS, vol. 6901, pp. 297\u2013311. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23217-6_20"},{"key":"2_CR39","unstructured":"Lanese, I., Nishida, N., Palacios, A., Vidal, G.: CauDEr tracer website. https:\/\/github.com\/mistupv\/tracer\/"},{"key":"2_CR40","unstructured":"Lanese, I., Nishida, N., Palacios, A., Vidal, G.: CauDEr website. https:\/\/github.com\/mistupv\/cauder"},{"key":"2_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-319-90686-7_16","volume-title":"Functional and Logic Programming","author":"I Lanese","year":"2018","unstructured":"Lanese, I., Nishida, N., Palacios, A., Vidal, G.: CauDEr: a causal-consistent reversible debugger for Erlang. In: Gallagher, J.P., Sulzmann, M. (eds.) FLOPS 2018. LNCS, vol. 10818, pp. 247\u2013263. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-90686-7_16"},{"key":"2_CR42","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.jlamp.2018.06.004","volume":"100","author":"I Lanese","year":"2018","unstructured":"Lanese, I., Nishida, N., Palacios, A., Vidal, G.: A theory of reversibility for Erlang. J. Log. Algebr. Methods Program. 100, 71\u201397 (2018)","journal-title":"J. Log. Algebr. Methods Program."},{"key":"2_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-030-21759-4_10","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"I Lanese","year":"2019","unstructured":"Lanese, I., Palacios, A., Vidal, G.: Causal-consistent replay debugging for message passing programs. In: P\u00e9rez, J.A., Yoshida, N. (eds.) FORTE 2019. LNCS, vol. 11535, pp. 167\u2013184. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21759-4_10"},{"issue":"1","key":"2_CR44","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/5001.5005","volume":"8","author":"GB Leeman Jr","year":"1986","unstructured":"Leeman Jr., G.B.: A formal approach to undo operations in programming languages. ACM Trans. Program. Lang. Syst. 8(1), 50\u201387 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"2_CR45","unstructured":"Letuchy, E.: Erlang at Facebook (2009). http:\/\/www.erlang-factory.com\/conference\/SFBayAreaErlangFactory2009\/speakers\/EugeneLetuchy"},{"key":"2_CR46","unstructured":"Mezzina, C.A., P\u00e9rez, J.A.: Reversible semantics in session-based concurrency. In: Proceedings of the 17th Italian Conference on Theoretical Computer 2016, Volume 1720 of CEUR Workshop Proceedings, pp. 221\u2013226 (2016). CEUR-WS.org"},{"key":"2_CR47","doi-asserted-by":"crossref","unstructured":"Mezzina, C.A., P\u00e9rez, J.A.: Reversible sessions using monitors. In: Proceedings of the Ninth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016. EPTCS, vol. 211, pp. 56\u201364 (2016)","DOI":"10.4204\/EPTCS.211.6"},{"key":"2_CR48","doi-asserted-by":"crossref","unstructured":"Mezzina, C.A., P\u00e9rez, J.A.: Causally consistent reversible choreographies: a monitors-as-memories approach. In: Vanhoof, W., Pientka, B. (eds.) Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, pp. 127\u2013138. ACM (2017)","DOI":"10.1145\/3131851.3131864"},{"key":"2_CR49","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.jlamp.2017.03.003","volume":"90","author":"CA Mezzina","year":"2017","unstructured":"Mezzina, C.A., P\u00e9rez, J.A.: Reversibility in session-based concurrency: a fresh look. J. Log. Algebr. Methods Program. 90, 2\u201330 (2017)","journal-title":"J. Log. Algebr. Methods Program."},{"key":"2_CR50","doi-asserted-by":"crossref","unstructured":"Neykova, R., Yoshida, N.: Let it recover: multiparty protocol-induced recovery. In: 26th International Conference on Compiler Construction, pp. 98\u2013108. ACM (2017)","DOI":"10.1145\/3033019.3033031"},{"key":"2_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-319-63139-4_15","volume-title":"Logic-Based Program Synthesis and Transformation","author":"N Nishida","year":"2017","unstructured":"Nishida, N., Palacios, A., Vidal, G.: A reversible semantics for Erlang. In: Hermenegildo, M.V., Lopez-Garcia, P. (eds.) LOPSTR 2016. LNCS, vol. 10184, pp. 259\u2013274. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63139-4_15"},{"volume-title":"Introduction to Reversible Computing","year":"2014","author":"K Perumalla","key":"2_CR52","unstructured":"Perumalla, K.: Introduction to Reversible Computing. CRC Press, Boca Raton (2014)"},{"key":"2_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-319-99498-7_6","volume-title":"Reversible Computation","author":"A Philippou","year":"2018","unstructured":"Philippou, A., Psara, K.: Reversible computation in petri nets. In: Kari, J., Ulidowski, I. (eds.) RC 2018. LNCS, vol. 11106, pp. 84\u2013101. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99498-7_6"},{"key":"2_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-030-21500-2_15","volume-title":"Reversible Computation","author":"A Philippou","year":"2019","unstructured":"Philippou, A., Psara, K., Siljak, H.: Controlling reversibility in reversing petri nets with application to wireless communications. In: Thomsen, M.K., Soeken, M. (eds.) RC 2019. LNCS, vol. 11497, pp. 238\u2013245. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21500-2_15"},{"issue":"1\u20132","key":"2_CR55","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.jlap.2006.11.002","volume":"73","author":"I Phillips","year":"2007","unstructured":"Phillips, I., Ulidowski, I.: Reversing algebraic process calculi. J. Logic Algebraic Program. 73(1\u20132), 70\u201396 (2007)","journal-title":"J. Logic Algebraic Program."},{"key":"2_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-36315-3_18","volume-title":"Reversible Computation","author":"I Phillips","year":"2013","unstructured":"Phillips, I., Ulidowski, I., Yuen, S.: A reversible process calculus and the modelling of the ERK signalling pathway. In: Gl\u00fcck, R., Yokoyama, T. (eds.) RC 2012. LNCS, vol. 7581, pp. 218\u2013232. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36315-3_18"},{"key":"2_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-319-20860-2_6","volume-title":"Reversible Computation","author":"M Schordan","year":"2015","unstructured":"Schordan, M., Jefferson, D., Barnes, P., Oppelstrup, T., Quinlan, D.: Reverse code generation for parallel discrete event simulation. In: Krivine, J., Stefani, J.-B. (eds.) RC 2015. LNCS, vol. 9138, pp. 95\u2013110. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-20860-2_6"},{"key":"2_CR58","doi-asserted-by":"crossref","unstructured":"Schordan, M., Oppelstrup, T., Jefferson, D., Barnes Jr., P.D., Quinlan, D.J.: Automatic generation of reversible C++ code and its performance in a scalable kinetic Monte-Carlo application. In: SIGSIM-PADS 2016 (2016)","DOI":"10.1145\/2901378.2901394"},{"key":"2_CR59","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/978-3-319-99498-7_22","volume-title":"Reversible Computation","author":"UP Schultz","year":"2018","unstructured":"Schultz, U.P.: Reversible object-oriented programming with region-based memory management. In: Kari, J., Ulidowski, I. (eds.) RC 2018. LNCS, vol. 11106, pp. 322\u2013328. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99498-7_22"},{"key":"2_CR60","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-319-40578-0_10","volume-title":"Reversible Computation","author":"UP Schultz","year":"2016","unstructured":"Schultz, U.P., Axelsen, H.B.: Elements of a reversible object-oriented language. In: Devitt, S., Lanese, I. (eds.) RC 2016. LNCS, vol. 9720, pp. 153\u2013159. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40578-0_10"},{"key":"2_CR61","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/978-3-319-99498-7_25","volume-title":"Reversible Computation","author":"H Siljak","year":"2018","unstructured":"Siljak, H.: Reversibility in space, time, and computation: the case of underwater acoustic communications. In: Kari, J., Ulidowski, I. (eds.) RC 2018. LNCS, vol. 11106, pp. 346\u2013352. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99498-7_25"},{"key":"2_CR62","unstructured":"Siljak, H.: Reversible computation in wireless communications. In: Ferreira, C., Lanese, I., Schultz, U., Ulidowski, I. (eds.) Reversible Computation: Theory and Applications. LNCS, vol. 12070. Springer, Heidelberg (2020)"},{"issue":"1","key":"2_CR63","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/MCOM.001.1900156","volume":"58","author":"H Siljak","year":"2020","unstructured":"Siljak, H., de Rosny, J., Fink, M.: Reversible hardware for acoustic wave time reversal. IEEE Commun. Mag. 58(1), 55\u201361 (2020)","journal-title":"IEEE Commun. Mag."},{"issue":"5","key":"2_CR64","doi-asserted-by":"publisher","first-page":"1427","DOI":"10.1109\/LWC.2019.2920128","volume":"8","author":"H Siljak","year":"2019","unstructured":"Siljak, H., Psara, K., Philippou, A.: Distributed antenna selection for massive MIMO using reversing Petri nets. IEEE Wirel. Commun. Lett. 8(5), 1427\u20131430 (2019)","journal-title":"IEEE Wirel. Commun. Lett."},{"key":"2_CR65","unstructured":"Siljak, H., Psara, K., Philippou, A.: Reversing Petri nets for resource management in wireless networks (2019, Manuscript in preparation)"},{"issue":"2","key":"2_CR66","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1996.2613","volume":"132","author":"M Tofte","year":"1997","unstructured":"Tofte, M., Talpin, J.-P.: Region-based memory management. Inf. Comput. 132(2), 109\u2013176 (1997)","journal-title":"Inf. Comput."},{"key":"2_CR67","unstructured":"Ulidowski, I.: IC1405 - Reversible Computation: extending horizons of computing - Memorandum of Understanding. https:\/\/e-services.cost.eu\/files\/domain_files\/ICT\/Action_IC1405\/mou\/IC1405-e.pdf"},{"key":"2_CR68","unstructured":"Undo Software: Undodb. Commercial reversible debugger. http:\/\/undo-software.com\/"},{"key":"2_CR69","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-319-99498-7_20","volume-title":"Reversible Computation","author":"M Vassor","year":"2018","unstructured":"Vassor, M., Stefani, J.-B.: Checkpoint\/Rollback vs causally-consistent reversibility. In: Kari, J., Ulidowski, I. (eds.) RC 2018. LNCS, vol. 11106, pp. 286\u2013303. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99498-7_20"},{"key":"2_CR70","doi-asserted-by":"crossref","unstructured":"Vulov, G., Hou, C., Vuduc, R.W., Fujimoto, R., Quinlan, D.J., Jefferson, D.R.: The backstroke framework for source level reverse computation applied to parallel discrete event simulation. In: WSC 2011 (2011)","DOI":"10.1109\/WSC.2011.6147998"},{"key":"2_CR71","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-70583-3_22","volume-title":"Automata, Languages and Programming","author":"T Yokoyama","year":"2008","unstructured":"Yokoyama, T., Axelsen, H.B., Gl\u00fcck, R.: Reversible flowchart languages and the structured reversible program theorem. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008. LNCS, vol. 5126, pp. 258\u2013270. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-70583-3_22"},{"key":"2_CR72","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-642-29517-1_2","volume-title":"Reversible Computation","author":"T Yokoyama","year":"2012","unstructured":"Yokoyama, T., Axelsen, H.B., Gl\u00fcck, R.: Towards a reversible functional language. In: De Vos, A., Wille, R. (eds.) RC 2011. LNCS, vol. 7165, pp. 14\u201329. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29517-1_2"},{"key":"2_CR73","doi-asserted-by":"crossref","unstructured":"Yokoyama, T., Gl\u00fcck, R.: A reversible programming language and its invertible self-interpreter. In: Partial Evaluation and Program Manipulation, Proceedings, pp. 144\u2013153. ACM (2007)","DOI":"10.1145\/1244381.1244404"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation: Extending Horizons of Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-47361-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,3]],"date-time":"2024-07-03T10:03:45Z","timestamp":1720001025000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-47361-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030473600","9783030473617"],"references-count":73,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-47361-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"12 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}
