菲利普·达伦多 公平异步的完全抽象模型。 （英语） Zbl 0564.68018号 并发，Semin。宾夕法尼亚州匹兹堡，1984年，Lect。注释计算。科学。197, 458-466 (1985). [关于整个系列，请参见Zbl 0562.00011号.]假设类CCS语言具有很强的公平性，我们构造了一个实现前序的完全抽象模型：p\（{\underset\tilde{}\subset}q\）iff用于每个上下文\（{\ mathcal C}\），对于每个程序r，（{\mathcal C}（p）|r）\中的r的计算不允许识别q已被p取代。 引用于1文件 MSC公司： 68N25号 操作系统理论 关键词：公平异步;强烈的公平性;类CCS语言 引文：Zbl 0562.00011号 PDF格式BibTeX公司 XML格式