Handbook of Truly Concurrent Process Algebra

Chapter 1: Introduction to algebraic theory for reversible computing

Abstract

This chapter introduces the background of reversible computing.

Keywords

Reversible Computing; Algebraic Theory; Axiomatization

Reversible computing [6] [7] [8] is an interesting topic in Computer Science. Reversible computing has been used in many area, such as quantum computing, transactions in databases, and business transactions. In these application areas, there are two aspects of reversible computing: one is that there is a corresponding reverse atomic action for each atomic action, so it is reversible at the level of atomic action; the other is in program logic, for the forward logic is important and the reverse logic is important too. The relation between the forward ...