Reversible Computation: Extending Horizons of Computing : : Selected Results of the COST Action IC1405 / / edited by Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira.

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 f...

Full description

Saved in:
Bibliographic Details
Superior document:Theoretical Computer Science and General Issues, 12070
HerausgeberIn:
Place / Publishing House:Cham : : Springer International Publishing :, Imprint: Springer,, 2020.
Year of Publication:2020
Edition:1st ed. 2020.
Language:English
Series:Theoretical Computer Science and General Issues, 12070
Physical Description:1 online resource (XIV, 237 p. 155 illus., 34 illus. in color.)
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • Foundations of Reversible Computation
  • Software and Reversible Systems: A Survey of Recent Activities
  • Simulation and Design of Quantum Circuits
  • Research on Reversible Functions Having Component Functions with Specified Properties - An Overview
  • A Case Study for Reversible Computing: Reversible Debugging
  • Towards Choreographic-Based Monitoring
  • Reversibility in Chemical Reactions
  • Reversible Control of Robots
  • Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation
  • Reversible Computation in Wireless Communications
  • Error Reconciliation in Quantum Key Distribution Protocols.