<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-04343408</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-18T01:19:55+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Towards a Taxonomy for Reversible Computation Approaches</title>
            <author role="aut">
              <persName>
                <forename type="first">Robert</forename>
                <surname>Glück</surname>
              </persName>
              <idno type="idhal" notation="numeric">1325626</idno>
              <idno type="halauthorid" notation="string">2070283-1325626</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-6990-3935</idno>
              <affiliation ref="#struct-265655"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Ivan</forename>
                <surname>Lanese</surname>
              </persName>
              <email type="md5">47abe009b3f1a73949c060c0c157463f</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">ivan-lanese</idno>
              <idno type="idhal" notation="numeric">961958</idno>
              <idno type="halauthorid" notation="string">472133-961958</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-2527-9995</idno>
              <idno type="ARXIV">https://arxiv.org/a/lanese_i_1</idno>
              <affiliation ref="#struct-175461"/>
              <affiliation ref="#struct-1178797"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Claudio Antares</forename>
                <surname>Mezzina</surname>
              </persName>
              <idno type="idhal" notation="numeric">1325627</idno>
              <idno type="halauthorid" notation="string">626818-1325627</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1556-2623</idno>
              <affiliation ref="#struct-415100"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jarosław Adam</forename>
                <surname>Miszczak</surname>
              </persName>
              <idno type="idhal" notation="numeric">1325628</idno>
              <idno type="halauthorid" notation="string">2989018-1325628</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8790-101X</idno>
              <affiliation ref="#struct-1182922"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Iain</forename>
                <surname>Phillips</surname>
              </persName>
              <idno type="idhal" notation="numeric">1325629</idno>
              <idno type="halauthorid" notation="string">212808-1325629</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-5013-5876</idno>
              <affiliation ref="#struct-69530"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Irek</forename>
                <surname>Ulidowski</surname>
              </persName>
              <idno type="idhal" notation="numeric">1210411</idno>
              <idno type="halauthorid" notation="string">1714629-1210411</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-3834-2036</idno>
              <affiliation ref="#struct-445585"/>
              <affiliation ref="#struct-300751"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Germán</forename>
                <surname>Vidal</surname>
              </persName>
              <idno type="idhal" notation="numeric">1325630</idno>
              <idno type="halauthorid" notation="string">1121032-1325630</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-1857-6951</idno>
              <affiliation ref="#struct-300772"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Ivan</forename>
                <surname>Lanese</surname>
              </persName>
              <email type="md5">47abe009b3f1a73949c060c0c157463f</email>
              <email type="domain">gmail.com</email>
            </editor>
            <funder ref="#projanr-48445"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2023-12-14 22:38:51</date>
              <date type="whenModified">2026-04-05 03:08:45</date>
              <date type="whenReleased">2023-12-15 15:47:54</date>
              <date type="whenProduced">2023-07-18</date>
              <date type="whenEndEmbargoed">2023-12-13</date>
              <ref type="file" target="https://inria.hal.science/hal-04343408v1/document">
                <date notBefore="2023-12-13"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-04343408v1/file/main.pdf" id="file-4343413-3785544">
                <date notBefore="2023-12-13"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="304015">
                <persName>
                  <forename>Ivan</forename>
                  <surname>Lanese</surname>
                </persName>
                <email type="md5">47abe009b3f1a73949c060c0c157463f</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04343408</idno>
            <idno type="halUri">https://inria.hal.science/hal-04343408</idno>
            <idno type="halBibtex">gluck:hal-04343408</idno>
            <idno type="halRefHtml">&lt;i&gt;Reversible Computation - RC 2023&lt;/i&gt;, Jul 2023, Giessen, Germany. pp.24-39, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-031-38100-3_3"&gt;&amp;#x27E8;10.1007/978-3-031-38100-3_3&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Reversible Computation - RC 2023, Jul 2023, Giessen, Germany. pp.24-39, &amp;#x27E8;10.1007/978-3-031-38100-3_3&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-4343413-3785544"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA-SOPHIA">INRIA Sophia Antipolis - Méditerranée</idno>
            <idno type="stamp" n="INRIASO">INRIA-SOPHIA</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="INRIA-ROYAUMEUNI">INRIA-ROYAUMEUNI</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Towards a Taxonomy for Reversible Computation Approaches</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Robert</forename>
                    <surname>Glück</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">1325626</idno>
                  <idno type="halauthorid" notation="string">2070283-1325626</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-6990-3935</idno>
                  <affiliation ref="#struct-265655"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Ivan</forename>
                    <surname>Lanese</surname>
                  </persName>
                  <email type="md5">47abe009b3f1a73949c060c0c157463f</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">ivan-lanese</idno>
                  <idno type="idhal" notation="numeric">961958</idno>
                  <idno type="halauthorid" notation="string">472133-961958</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-2527-9995</idno>
                  <idno type="ARXIV">https://arxiv.org/a/lanese_i_1</idno>
                  <affiliation ref="#struct-175461"/>
                  <affiliation ref="#struct-1178797"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Claudio Antares</forename>
                    <surname>Mezzina</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">1325627</idno>
                  <idno type="halauthorid" notation="string">626818-1325627</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1556-2623</idno>
                  <affiliation ref="#struct-415100"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jarosław Adam</forename>
                    <surname>Miszczak</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">1325628</idno>
                  <idno type="halauthorid" notation="string">2989018-1325628</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8790-101X</idno>
                  <affiliation ref="#struct-1182922"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Iain</forename>
                    <surname>Phillips</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">1325629</idno>
                  <idno type="halauthorid" notation="string">212808-1325629</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-5013-5876</idno>
                  <affiliation ref="#struct-69530"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Irek</forename>
                    <surname>Ulidowski</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">1210411</idno>
                  <idno type="halauthorid" notation="string">1714629-1210411</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-3834-2036</idno>
                  <affiliation ref="#struct-445585"/>
                  <affiliation ref="#struct-300751"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Germán</forename>
                    <surname>Vidal</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">1325630</idno>
                  <idno type="halauthorid" notation="string">1121032-1325630</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-1857-6951</idno>
                  <affiliation ref="#struct-300772"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings</title>
                <meeting>
                  <title>Reversible Computation - RC 2023</title>
                  <date type="start">2023-07-18</date>
                  <date type="end">2023-07-19</date>
                  <settlement>Giessen</settlement>
                  <country key="DE">Germany</country>
                </meeting>
                <imprint>
                  <publisher>Springer Nature Switzerland</publisher>
                  <pubPlace>Cham</pubPlace>
                  <biblScope unit="serie">Lecture Notes in Computer Science</biblScope>
                  <biblScope unit="volume">LNCS-13960</biblScope>
                  <biblScope unit="pp">24-39</biblScope>
                  <date type="datePub">2023-07-12</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-031-38100-3_3</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Reversible computing</term>
                <term xml:lang="en">Models and languages</term>
                <term xml:lang="en">Taxonomy</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Reversible computation is a paradigm allowing computation to proceed not only in the usual, forward direction, but also backwards. Reversible computation has been studied in a variety of models, including sequential and concurrent programming languages, automata, process calculi, Turing machines, circuits, Petri nets, event structures, term rewriting, quantum computing, and others. Also, it has found applications in areas as different as low-power computing, debugging, simulation, robotics, database design, and biochemical modeling. Thus, while the broad idea of reversible computation is the same in all the areas, it has been interpreted and adapted to fit the various settings. The existing notions of reversible computation however have never been compared and categorized in detail. This work aims at being a first stepping stone towards a taxonomy of the approaches that co-exist under the term reversible computation. We hope that such a work will shed light on the relation among the various approaches.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-265655" status="VALID">
          <orgName>Department of Computer Science [Copenhagen]</orgName>
          <orgName type="acronym">DIKU</orgName>
          <desc>
            <address>
              <addrLine>Nørre Campus ; Universitetsparken 5 ; DK-2100 Copenhagen Ø</addrLine>
              <country key="DK"/>
            </address>
            <ref type="url">http://www.diku.dk/english/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-579313" type="direct"/>
            <relation active="#struct-460939" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-175461" status="OLD">
          <idno type="RNSR">201020947E</idno>
          <orgName>Foundations of Component-based Ubiquitous Systems</orgName>
          <orgName type="acronym">FOCUS</orgName>
          <date type="start">2010-01-01</date>
          <date type="end">2023-09-30</date>
          <desc>
            <address>
              <addrLine>Dipartimento di Informatica - Scienza e Ingegneria (DISI)Universita' di BolognaMura Anteo Zamboni, 740126 BolognaITALY</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/focus</ref>
          </desc>
          <listRelation>
            <relation active="#struct-30978" type="direct"/>
            <relation name=" Dipartimento di Informatica - Scienza e Ingegneria [Bologna]" active="#struct-34586" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-1178797" status="VALID">
          <idno type="RNSR">202324453J</idno>
          <idno type="ROR">https://ror.org/02fw3g688</idno>
          <orgName>Fondements opérationnels, logiques et algébriques des systèmes logiciels</orgName>
          <orgName type="acronym">OLAS</orgName>
          <date type="start">2023-10-01</date>
          <date type="end">2027-09-30</date>
          <desc>
            <address>
              <addrLine>Dipartimento di Informatica - Scienza e Ingegneria (DISI) Universita' di Bologna Mura Anteo Zamboni, 7 40126 Bologna ITALY</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">https://www.inria.fr/en/olas</ref>
          </desc>
          <listRelation>
            <relation active="#struct-34586" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-419351" type="direct"/>
            <relation active="#struct-30978" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-415100" status="VALID">
          <idno type="ROR">https://ror.org/04q4kt073</idno>
          <orgName>Università degli Studi di Urbino 'Carlo Bo' = University of Urbino</orgName>
          <desc>
            <address>
              <addrLine>61029 Urbino PU – IT</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">https://www.uniurb.it</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-1182922" status="INCOMING">
          <orgName>Institute of Theoretical and Applied Informatics, Polish Academy of Sciences, Gliwice</orgName>
          <desc>
            <address>
              <country key="PL"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-69530" status="VALID">
          <idno type="ISNI">0000000121138111</idno>
          <idno type="ROR">https://ror.org/041kmwe10</idno>
          <orgName>Imperial College London</orgName>
          <date type="start">1907-01-01</date>
          <desc>
            <address>
              <addrLine>South Kensington Campus, London SW7 2AZ</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">http://www.imperial.ac.uk/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-445585" status="VALID">
          <idno type="ROR">https://ror.org/00bas1c41</idno>
          <orgName>AGH University of Science and Technology [Krakow, PL]</orgName>
          <orgName type="acronym">AGH UST</orgName>
          <date type="start">1912</date>
          <desc>
            <address>
              <addrLine>al. Mickiewicza 30, 30-059 Krakow, Poland</addrLine>
              <country key="PL"/>
            </address>
            <ref type="url">https://www.agh.edu.pl</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300751" status="VALID">
          <idno type="ROR">https://ror.org/04h699437</idno>
          <orgName>University of Leicester</orgName>
          <desc>
            <address>
              <addrLine>University Rd, Leicester LE1 7RH</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">https://le.ac.uk</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300772" status="VALID">
          <idno type="ROR">https://ror.org/01460j859</idno>
          <orgName>Universitat Politècnica de València = Universitad Politecnica de Valencia = Polytechnic University of Valencia</orgName>
          <orgName type="acronym">UPV</orgName>
          <desc>
            <address>
              <addrLine>Camino de Vera, s/n 46022 Valencia</addrLine>
              <country key="ES"/>
            </address>
            <ref type="url">http://www.upv.es/</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-579313" status="VALID">
          <orgName>Faculty of Science [Copenhagen]</orgName>
          <desc>
            <address>
              <addrLine>Bülowsvej 171870 Frederiksberg CCopenhagen</addrLine>
              <country key="DK"/>
            </address>
            <ref type="url">https://www.science.ku.dk/english/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-460939" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-460939" status="VALID">
          <idno type="IdRef">026458748</idno>
          <idno type="ROR">https://ror.org/035b05819</idno>
          <orgName>Københavns Universitet = University of Copenhagen = Université de Copenhague</orgName>
          <orgName type="acronym">UCPH</orgName>
          <date type="start">1479-01-01</date>
          <desc>
            <address>
              <addrLine>Nørregade 10, 1165 København, Danemark</addrLine>
              <country key="DK"/>
            </address>
            <ref type="url">http://www.ku.dk</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-30978" status="VALID">
          <idno type="ROR">https://ror.org/01111rn36</idno>
          <orgName>Alma Mater Studiorum Università di Bologna = University of Bologna [Bologne]</orgName>
          <orgName type="acronym">UNIBO</orgName>
          <desc>
            <address>
              <addrLine>Via Zamboni, 33 - 40126 Bologna</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">http://www.eng.unibo.it/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-34586" status="VALID">
          <idno type="RNSR">198318250R</idno>
          <idno type="ROR">https://ror.org/01nzkaw91</idno>
          <orgName>Centre Inria d'Université Côte d'Azur</orgName>
          <desc>
            <address>
              <addrLine>2004 route des Lucioles BP 93 06902 Sophia Antipolis</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/sophia/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-419351" status="VALID">
          <orgName>Dipartimento di Informatica - Scienza e Ingegneria [Bologna]</orgName>
          <orgName type="acronym">DISI</orgName>
          <desc>
            <address>
              <addrLine>http://www.informatica.unibo.it/it</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">http://www.informatica.unibo.it/it</ref>
          </desc>
          <listRelation>
            <relation active="#struct-30978" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-48445" status="VALID">
          <idno type="anr">ANR-18-CE25-0007</idno>
          <idno type="program">APPEL À PROJETS GÉNÉRIQUE 2018</idno>
          <orgName>DCore</orgName>
          <desc>Debogage causal pour systèmes concurrents</desc>
          <date type="start">2018</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>