Send to

Choose Destination
Springerplus. 2016 Sep 26;5(1):1659. eCollection 2016.

An algebra of reversible computation.

Author information

College of Computer Science, Beijing University of Technology, Beijing, China.


We design an axiomatization for reversible computation called reversible ACP (RACP). It has four extendible modules: basic reversible processes algebra, algebra of reversible communicating processes, recursion and abstraction. Just like process algebra ACP in classical computing, RACP can be treated as an axiomatization foundation for reversible computation.


Algebra of communicating processes; Axiomatization; Process algebra; Reversible computation

Supplemental Content

Full text links

Icon for Springer Icon for PubMed Central
Loading ...
Support Center