Skip to main content
  • Book
  • Open Access
  • © 2020

Reversible Computation: Extending Horizons of Computing

Selected Results of the COST Action IC1405

  • Provides an overview of Reversible Computation (RC) area, written by internationally renowned scientists

  • Presents the results of the COST Action IC1405 Reversible Computation - extending horizons of computing

  • Discusses foundations, specific technical challenges, and potential applications in software and systems and reversible circuit design, validated via practical case studies

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12070)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): RC: International Conference on Reversible Computation

Conference proceedings info: RC 2020.

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)

Table of contents (11 chapters)

  1. Front Matter

    Pages i-xiv
  2. Foundations of Reversible Computation

    • Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib et al.
    Pages 1-40Open Access
  3. Software and Reversible Systems: A Survey of Recent Activities

    • Claudio Antares Mezzina, Rudolf Schlatte, Robert Glück, Tue Haulund, James Hoey, Martin Holm Cservenka et al.
    Pages 41-59Open Access
  4. Simulation and Design of Quantum Circuits

    • Alwin Zulehner, Robert Wille
    Pages 60-82Open Access
  5. Research on Reversible Functions Having Component Functions with Specified Properties: An Overview

    • Paweł Kerntopf, Claudio Moraga, Krzysztof Podlaski, Radomir Stanković
    Pages 83-107Open Access
  6. A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs

    • James Hoey, Ivan Lanese, Naoki Nishida, Irek Ulidowski, Germán Vidal
    Pages 108-127Open Access
  7. Towards Choreographic-Based Monitoring

    • Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
    Pages 128-150Open Access
  8. Reversibility in Chemical Reactions

    • Stefan Kuhn, Bogdan Aman, Gabriel Ciobanu, Anna Philippou, Kyriaki Psara, Irek Ulidowski
    Pages 151-176Open Access
  9. Reversible Control of Robots

    • Ulrik Pagh Schultz
    Pages 177-186Open Access
  10. Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation

    • Markus Schordan, Tomas Oppelstrup, Michael Kirkedal Thomsen, Robert Glück
    Pages 187-207Open Access
  11. Reversible Computation in Wireless Communications

    • Harun Siljak
    Pages 208-221Open Access
  12. Error Reconciliation in Quantum Key Distribution Protocols

    • Miralem Mehic, Marcin Niemiec, Harun Siljak, Miroslav Voznak
    Pages 222-236Open Access
  13. Back Matter

    Pages 237-237

Other Volumes

  1. Reversible Computation

    12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings

About this book

This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019.

Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.

Keywords

  • open access
  • reversible computation
  • semantics of reversible computation
  • formal methods
  • models of computation
  • circuit design
  • simulation
  • robotics
  • formal methods
  • debugging
  • quantum computing
  • wireless communications
  • programming languages
  • dependability
  • modelling of biochemical systems
  • computer networks
  • engineering
  • software engineering
  • parallel processing systems
  • theoretical computer science

Editors and Affiliations

  • University of Leicester, Leicester, UK

    Irek Ulidowski

  • University of Bologna, Bologna, Italy

    Ivan Lanese

  • University of Southern Denmark, Odense, Denmark

    Ulrik Pagh Schultz

  • NOVA University Lisbon, Caparica, Portugal

    Carla Ferreira

Bibliographic Information

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)