Reversing algebraic process calculi
Reversing algebraic process calculi
复制标题
DOI：
10.1016/j.jlap.2006.11.002
复制
发表时间：
2007-09-01
影响因子：
--
通讯作者：
Ulidowski, Irek
中科院分区：
文献类型：
--
作者：
Phillips, Iain;Ulidowski, Irek
可逆计算拥有越来越多有前景的应用领域，比如生化系统建模、程序调试与测试，甚至量子计算的编程语言。我们制定了一个将诸如CCS等标准代数进程演算的算子转换为可逆算子的程序，同时保留它们的操作语义。我们定义了正向 - 逆向互模拟，并表明它被所有可逆算子所保留。(c) 2007爱思唯尔公司。保留所有权利。
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languages for quantum computing. We formulate a procedure for converting operators of standard algebraic process calculi such as CCS into reversible operators, while preserving their operational semantics. We define forward-reverse bisimulation and show that it is preserved by all reversible operators. (c) 2007 Elsevier Inc. All rights reserved.