12、部分可逆计算的代数定律：可逆真并发中的并行代数

部分可逆计算的代数定律：可逆真并发中的并行代数

1. 引言

在可逆真并发的研究中，并行性是一个关键的概念。我们将探讨可逆真并发中的并行性，所得到的代数称为可逆真并发并行代数（Algebra for Parallelism in Reversible True Concurrency，简称 APRTC）。

2. 并行性的转换规则

2.1 并行运算符 ∥ 的转换规则

并行运算符 ∥ 的前向和反向转换规则分别如表 6.7 和表 6.8 所示。
| 规则类型 | 规则内容 |
| ---- | ---- |
| 前向转换规则 |
(x \stackrel{e_1}{\longrightarrow} e_1[m])，(y \stackrel{e_2}{\longrightarrow} e_2[m])，则 (x \parallel y \stackrel{ {e_1,e_2}}{\longrightarrow} e_1[m] \parallel e_2[m])
(x \stackrel{e_1}{\longrightarrow} x’)，(y \stackrel{e_2}{\longrightarrow} e_2[m])，则 (x \parallel y \stackrel{ {e_1,e_2}}{\longrightarrow} x’ \parallel e_2[m])
(x \stackrel{e_1}{\longrightarrow} e_1[m])，(y \stackrel{e_2}{\longrightarrow} y’)，则 (x \parallel y \