Indexed by：
Abstract：
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.
Keyword：
Reprint Author's Address：
Email：
Source ：
SPRINGERPLUS
ISSN： 2193-1801
Year： 2016
Volume： 5
ESI Discipline： Multidisciplinary;
ESI HC Threshold：301
CAS Journal Grade：4
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count： 3
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count：
Chinese Cited Count：
30 Days PV： 7
Affiliated Colleges：
