并发计算的元模型 Ⅱ.对称通信

Meta Model of Concurrent Computation Ⅱ.Symmetric Communication

在并发计算图模型的基础上 ,提出并研究了一新的进程演算 .该演算的创新处在于它只有一类前缀操作 ,故通信是对称的 .通过建立从 pi演算到对称 pi演算的翻译 ,证明 pi演算是对称 pi演算的子语言 .该翻译既保持前者的操作语义 ,又保持其代数语义 .对称 pi演算的意义在于它既简化了 pi演算 。

This is the second of a series of papers on concurrent computation models. Motivated by the graph model, a new process calculus was proposed and investigated. The novelty of the calculus is that there is only one kind of sequential operation and consequently communications in this model are symmetric. The model has, as a submodel, the well known pi calculus. The significance of the model lies in that it simplifies the pi model while maintaining the expressive power.