并发计算理论相关论文
借鉴证明论中的一些思想，提出了并发计算的一个图模型。在此模型中，计算对象表示为图，计算过程表示为图重写，重写规则将通信过程视为证......
在有关ｃｈｉ演算的基础上，用统一的方法在ｃｈｉ进程上引入一大类互模拟等价关系，即Ｌ－互模拟等价关系，证明了只有４个不同的Ｌ－互模拟等价，在包含关系下，它......
在并发计算图模型的基础上 ,提出并研究了一新的进程演算 .该演算的创新处在于它只有一类前缀操作 ,故通信是对称的 .通过建立从 p......
