A.W.罗斯科。 超越分歧。 （英语） Zbl 1081.68062号 Abdallah，Ali E.（编辑）等人，《通信顺序过程》。前25年。2004年7月7日至8日，在英国伦敦举行的CSP 25周年研讨会。修订受邀论文。柏林：施普林格出版社（ISBN 3-540-25813-2/pbk）。计算机科学课堂讲稿3525，15-35（2005）。 摘要：对CSP理论的一个长期抱怨是，所有包含分歧的理论都是严格的分歧，这意味着除了第一个分歧之外，什么也看不到。在本文中，我们证明了一个先前被确定为预测标记转换系统（LTS）上分歧最弱的同余可以被赋予一个非标准定点理论，我们将其称为反映不动点，从而转化为一个完整的CSP模型，该模型与LTS上的操作语义一致。有关整个系列，请参见[Zbl 1073.68002号]. 引用于4文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68问题55 计算理论中的语义学 PDF格式BibTeX公司 XML格式引用 \发短信{A.W.Roscoe}，Lect。注释计算。科学。3525，15--35（2005；Zbl 1081.68062） 全文： 内政部