↓ Skip to main content

Reversible Computation

Overview of attention for book
Cover of 'Reversible Computation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Reversible Computation
  3. Altmetric Badge
    Chapter 2 One-Way Reversible Multi-head Finite Automata
  4. Altmetric Badge
    Chapter 3 A Deterministic Two-Way Multi-head Finite Automaton Can Be Converted into a Reversible One with the Same Number of Heads
  5. Altmetric Badge
    Chapter 4 Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine
  6. Altmetric Badge
    Chapter 5 Isomorphic Interpreters from Logically Reversible Abstract Machines
  7. Altmetric Badge
    Chapter 6 Synthesizing Loops for Program Inversion
  8. Altmetric Badge
    Chapter 7 Frugal Encoding in Reversible $\mathcal{MOQA}$ : A Case Study for Quicksort
  9. Altmetric Badge
    Chapter 8 Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable Robots
  10. Altmetric Badge
    Chapter 9 Reversible and Quantum Circuit Optimization: A Functional Approach
  11. Altmetric Badge
    Chapter 10 Properties of Quantum Templates
  12. Altmetric Badge
    Chapter 11 Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits
  13. Altmetric Badge
    Chapter 12 Design of an Online Testable Ternary Circuit from the Truth Table
  14. Altmetric Badge
    Chapter 13 Garbageless Reversible Implementation of Integer Linear Transformations
  15. Altmetric Badge
    Chapter 14 Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1
  16. Altmetric Badge
    Chapter 15 Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams
  17. Altmetric Badge
    Chapter 16 Using π DDs in the Design of Reversible Circuits
  18. Altmetric Badge
    Chapter 17 A Verification Technique for Reversible Process Algebra
  19. Altmetric Badge
    Chapter 18 A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
  20. Altmetric Badge
    Chapter 19 Controlled Reversibility and Compensations
Attention for Chapter 17: A Verification Technique for Reversible Process Algebra
Altmetric Badge


1 Dimensions

Readers on

1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
A Verification Technique for Reversible Process Algebra
Chapter number 17
Book title
Reversible Computation
Published by
Springer, Berlin, Heidelberg, July 2012
DOI 10.1007/978-3-642-36315-3_17
Book ISBNs
978-3-64-236314-6, 978-3-64-236315-3

Jean Krivine, Krivine, Jean

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 1 100%
Readers by discipline Count As %
Unknown 1 100%