摘要：未假定公平性或合理性的情况下，在扩展了超时功能的标准过程代数中，可以正确地对互斥进行建模，即使在假定内存访问是原子的情况下也是如此。只有在放弃速度独立性的要求时才能实现这一点。
作者：Rob van Glabbeek
论文ID：2106.12785
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-16
PDF 下载： 英文版 中文版pdf翻译中