Keep it fair: Equivalence and composition
Keep it fair: Equivalence and composition
复制标题
保持公平：等价和组合
DOI：
10.1016/j.jlamp.2019.01.004
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Tobias Prehn
中科院分区：
文献类型：
--
作者：
Stephan Mennicke;Tobias Prehn
公平性假设通常用于过滤系统行为，从而区分现实和不现实的执行。这允许在分布式系统的正确性证明中使用关键参数，否则这是不可能的。我们的第一个贡献是一个等价谱，其中公平性假设被保留。虽然所识别的等价物允许结合公平性假设的关于正确性的推理，但这不一定允许将参数从顺序过程提升到采用任意同步机制的并行组合物。我们的第二个贡献是，因此，在这方面的并行组合运算符及其同步机制的分析。
Fairness assumptions are commonly used to filter system behaviors, thereby distinguishing between realistic and unrealistic executions. This allows for key arguments in correctness proofs of distributed systems, which would not be possible otherwise. Our first contribution is an equivalence spectrum in which fairness assumptions are preserved. Although the identified equivalences allow for reasoning about correctness incorporating fairness assumptions, this does not necessarily allow for the lifting of arguments from sequential processes to parallel compositions employing arbitrary synchronization mechanisms. Our second contribution is, therefore, an analysis of parallel composition operators and their synchronization mechanisms in this respect.
登录
查看更多内容
系统计算中动作的公平性
影响因子：
0.6
作者：
F. Corradini;M. R. D. Berardini;W. Vogler
通讯作者：
W. Vogler
互斥锁需要公平性
影响因子：
0.5
作者：
E. Kindler;Rolf Walter
通讯作者：
Rolf Walter
论CTL的表达能力
DOI：
--
发表时间：
1999
期刊：
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158)
影响因子：
--
作者：
F. Moller;A. Rabinovich
通讯作者：
A. Rabinovich
保持公平：等价
DOI：
--
发表时间：
2017
期刊：
ICE@DisCoTec
影响因子：
--
作者：
Tobias Prehn;Stephan Mennicke
通讯作者：
Stephan Mennicke
过程代数的进步、公平和公正
DOI：
--
发表时间：
2015
期刊：
arXiv.org
影响因子：
--
作者：
R. V. Glabbeek;P. Höfner
通讯作者：
P. Höfner