并发系统研究中的模型、等价关系与动作细化

### 并发系统研究中的模型、等价关系与动作细化 #### 1. 化学抽象机模型 在并发系统的研究中，有一个名为化学抽象机（Chemical Abstract Machine，CHAM）的新模型被提出。该模型虽并非专门为真正的并发而设计，但在某种程度上反映了与并发相关的分布和移动性概念。在这个模型里，并发代理系统的状态被视为一种“化学溶液”，其中漂浮的“分子”能依据“反应规则”相互作用。CHAM 模型为在并发场景中表达归约语义引入了一种新的、更简单的方式，这在后来关于进程演算（特别是 π - 演算、join - 演算和环境演算）的研究中变得相当流行。 #### 2. 抽象非交织语义 ##### 2.1 非顺序模型 对 CCS 的非交织操作语义进行评估的初始标准是它们与“指称语义”的一致性，也就是将 CCS 解释到如事件结构和 Petri 网等语义域中。例如： - Degano、De Nicola 和 Montanari 展示了他们的操作语义与将 CCS 解释到素事件结构和条件 - 事件系统（一类 Petri 网）的一致性。 - Boudol 和 Castellani 证明了他们的转换语义与将 CCS（和 SCCS）解释到流事件结构（介于素事件结构和稳定事件结构之间的一类事件结构）的一致性。 - Aarhus 和 Sophia 的联合论文表明，流事件结构的并行组合可被表征为范畴积，并且作为 CCS 项解释得到的流事件结构满足特定的结构属性。 - 相关结果还被扩展到流网（一类“稳定”的 Petri 网）和异步转换系统。 除了上述的流事件结构和流网，还有束事件结构、无 Δ 事件结构和带独立性的转换系统等模型。 在更抽象的层面上，研究人员积极比较不同语义模型在代数或范畴框架内的关系。Winskel 建立了各种基于转换的模型之间的形式连接，Nielsen、Rozenberg 和 Thiagarajan 引入了区域的概念，进一步扩展了这些连接。Ferrari 和 Montanari 的工作致力于将并发模型统一到一个共同的代数框架中，他们还提出了 Milner 展开定理的推广。 另外，项目中存在两种主要的研究角度： - Aarhus 和 Pisa 的合作伙伴更关注一般性和参数化，倾向于采用“统一”或“参数化”的方法研究非顺序模型。 - Sophia 和 Sussex 的合作伙伴则更喜欢专注于特定的演算或模型，采用更“特定于语言”或