Reversible Computation

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Rigid Families for the Reversible $$\pi $$ -Calculus
3. Altmetric Badge
   Chapter 2 A Calculus for Local Reversibility
4. Altmetric Badge
   Chapter 3 Static VS Dynamic Reversibility in CCS
5. Altmetric Badge
   Chapter 4 Reversing Single Sessions
6. Altmetric Badge
   Chapter 5 Reversible Causal Graph Dynamics
7. Altmetric Badge
   Chapter 6 Boosting Reversible Pushdown Machines by Preprocessing
8. Altmetric Badge
   Chapter 7 Reversible Computation vs. Reversibility in Petri Nets
9. Altmetric Badge
   Chapter 8 Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms
10. Altmetric Badge
    Chapter 9 Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation
11. Altmetric Badge
    Chapter 10 Elements of a Reversible Object-Oriented Language
12. Altmetric Badge
    Chapter 11 Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs
13. Altmetric Badge
    Chapter 12 Design and Fabrication of CSWAP Gate Based on Nano-Electromechanical Systems
14. Altmetric Badge
    Chapter 13 Design of p -Valued Deutsch Quantum Gates with Multiple Control Signals and Mixed Polarity
15. Altmetric Badge
    Chapter 14 Using $$\pi $$ DDs for Nearest Neighbor Optimization of Quantum Circuits
16. Altmetric Badge
    Chapter 15 Circular CNOT Circuits: Definition, Analysis and Application to Fault-Tolerant Quantum Circuits
17. Altmetric Badge
    Chapter 16 Towards Quantum Programs Verification: From Quipper Circuits to QPMC
18. Altmetric Badge
    Chapter 17 Application of Permutation Group Theory in Reversible Logic Synthesis
19. Altmetric Badge
    Chapter 18 Strongly Universal Reversible Gate Sets
20. Altmetric Badge
    Chapter 19 Enumeration of Reversible Functions and Its Application to Circuit Complexity
21. Altmetric Badge
    Chapter 20 A Finite Alternation Result for Reversible Boolean Circuits
22. Altmetric Badge
    Chapter 21 Generating Reversible Circuits from Higher-Order Functional Programs
23. Altmetric Badge
    Chapter 22 A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis
24. Altmetric Badge
    Chapter 23 Checking Reversibility of Boolean Functions