An algebra of reversible computation.
An algebra of reversible computation.
复制标题
DOI：
10.1186/s40064-016-3229-7
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Wang Y
中科院分区：
文献类型：
--
作者：
Wang Y
我们为可逆计算设计了一种公理化体系，称为可逆ACP（RACP）。它有四个可扩展模块：基本可逆进程代数、可逆通信进程代数、递归和抽象。就像经典计算中的进程代数ACP一样，RACP可被视为可逆计算的公理化基础。
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.
登录
查看更多内容
影响因子：
--
作者：
Phillips, Iain;Ulidowski, Irek
通讯作者：
Ulidowski, Irek
影响因子：
1.1
作者：
Abramsky, S
通讯作者：
Abramsky, S
DOI：
10.1007/s10586-013-0277-4
发表时间：
2014-06-01
影响因子：
4.4
作者：
Perumalla, Kalyan S.;Park, Alfred J.
通讯作者：
Park, Alfred J.
影响因子：
2.5
作者：
Baldan, Paolo;Crafa, Silvia
通讯作者：
Crafa, Silvia
影响因子：
2.5
作者：
HENNESSY, M;MILNER, R
通讯作者：
MILNER, R