公正性：一个捕捉活性性质的完备性准则
Justness: A Completeness Criterion for Capturing Liveness Properties
摘要：
本文提出，迁移系统构成一个很好的分布式系统模型，只有结合一个标准，告诉哪些路径模型完成运行的代表系统。在这些标准中，进展太弱，无法捕获相关的活性属性，公平性往往太强;对于典型的应用程序，我们主张公正的中间标准。以前，我们提出了一个公正的定义，在转换之间的非对称并发关系。在这里，我们定义了这样一个并发关系的过渡系统相关联的进程代数CCS以及其扩展与广播通信和信号，从而使这些进程代数适合捕捉需要公正的活性属性。
英文摘要：
This paper poses that transition systems constitute a good model of distributed systems only in combination with a criterion telling which paths model complete runs of the represented systems. Among such criteria, progress is too weak to capture relevant liveness properties, and fairness is often too strong; for typical applications we advocate the intermediate criterion of justness. Previously, we proposed a definition of justness in terms of an asymmetric concurrency relation between transitions. Here we define such a concurrency relation for the transition systems associated to the process algebra CCS as well as its extensions with broadcast communication and signals, thereby making these process algebras suitable for capturing liveness properties requiring justness.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
