Reversible computation : extending horizons of computing : selected results of the COST Action IC1405 /: extending horizons of computing : selected results of the COST Action IC1405. (2020)

• Record Type: Book
• Further Information: Note: Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira (eds.).
• Editors: Ulidowski, Irek; Lanese, Ivan; Schultz, Ulrik Pagh; Ferreira, Carla
• 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.
• Publisher Details: Cham, Switzerland : Springer Open
• Publication Date: 2020
• Extent: 1 online resource (xiv, 237 pages), illustrations (some color)
• Subjects: 004; Reversible computing; Electronic books
• Languages: English
• ISBNs: 9783030473617; 3030473619
• Related ISBNs: 9783030473600
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed May 27, 2020).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.