CCS：它并不公平！即使在进展与某些公平性假设下，公平调度器仍无法在类CCS语言中实现
计算机科学中的逻辑
2015-05-25 v1
摘要
在进程代数领域，有时有人认为，在某种抽象层次上，任何分布式系统都可以在诸如 CCS 的标准进程代数规范形式中建模。诸如 CCS 等许多类似形式具有图灵完备性并提供交互机制，这一结果进一步强化了该观点。本文反驳该观点，给出了一个简单的公平调度器——其多种适当变体出现在许多分布式系统中——在 CCS 中无法表达其实现，除非 CCS 辅以公平性假设。由于 Dekker 与 Peterson 的互斥协议实现了公平调度器，由此可知，若不施加公平性假设，这些协议无法在 CCS 中正确表述。Peterson 在伪代码中正确表达了该算法而未借助公平性假设，因此进一步表明 CCS 缺乏准确刻画此类伪代码的表达能力。
引用
@article{arxiv.1505.05964,
title = {CCS: It's not Fair! Fair Schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions},
author = {Rob van Glabbeek and Peter Höfner},
journal= {arXiv preprint arXiv:1505.05964},
year = {2015}
}