乔治亚州卡拉贝塔;迪加诺，皮尔保罗 通过已证明的转换系统和重写逻辑实现CCS语义。 （英语） Zbl 0917.68126号 Kirchner，Claude（编辑）等人，重写逻辑及其应用国际研讨会。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。15，第18号电子文件（1998年）。 小结：我们考虑了ccs演算的一个微小变体，并分析了文献中定义的两种操作语义：第一种是利用证明的转换系统（PTS），第二种是重写逻辑（RL）。我们证明了两种语义的交错解释是一致的，因为它们定义了相同的转换，并且展示了相同的不确定性结构。此外，我们研究了ccs计算中的因果关系。我们回顾了通过PTS进行的处理，它展示了文献中提出的因果关系的概念，并且我们展示了如何通过适当的公理在RL语义中重铸它。关于整个系列，请参见[Zbl 0903.00070号]. 引用于6文件 MSC公司： 68问题55 计算理论中的语义学 PDF格式BibTeX公司 XML格式引用 \textit{G.Carabetta}和\textit{P.Degano}，收录于：ITRWLW第二届重写逻辑及其应用国际研讨会。。1998年9月，法国蓬塔·穆松修道院。阿姆斯特丹：爱思唯尔。电子文件第18号（1998年；Zbl 0917.68126） 全文： 链接