19、并行与通信进程：理论、模型与应用

并行与通信进程：理论、模型与应用

1. BCP(A, γ)理论基础

在并行与通信进程的研究中，BCP(A, γ)理论是一个重要的基础。这里，A 是一组动作，γ 是 A 上的通信函数。该理论的项代数为 (P(BCP(A, γ)) = (C(BCP(A, γ)), +, ∥, \underline{|}, |, (a.) {a∈A}, (∂_H) {H⊆A}, 0, 1))。

1.1 项演绎系统

BCP(A, γ)的项演绎系统 TDS(BCP(A, γ))是通过扩展 (BSP + DH)(A) 的项演绎系统得到的，增加了并行运算符（合并、左合并、通信合并）的演绎规则，具体规则如下表所示：

规则描述	规则内容
终止规则	(x↓, y↓ \Rightarrow x ∥y↓)；(x↓, y↓ \Rightarrow x
左操作数动作规则	(x \stackrel{a}{\rightarrow} x’, y \Rightarrow x ∥y \stackrel{a}{\rightarrow} x’ ∥y)；(x \stackrel{a}{\rightarrow} x’ \Rightarrow x\underline{|}y \stackrel{a}{\rightarrow} x’ ∥y)
右操作数动作