↓ 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 18: A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
Altmetric Badge


1 Dimensions

Readers on

2 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 Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
Chapter number 18
Book title
Reversible Computation
Published by
Springer, Berlin, Heidelberg, July 2012
DOI 10.1007/978-3-642-36315-3_18
Book ISBNs
978-3-64-236314-6, 978-3-64-236315-3

Iain Phillips, Irek Ulidowski, Shoji Yuen, Phillips, Iain, Ulidowski, Irek, Yuen, Shoji