测试语义中的显式公平性
计算机科学中的逻辑
2015-07-01 v2
摘要
本文研究了π-演算中的公平计算。遵循Costa和Stirling针对类CCS语言的方法，我们考虑了一种标记进程动作以过滤掉不公平计算的方法。我们将现有的公平测试概念与通过施加弱公平性和强公平性自然产生的概念进行了对比。这种比较提供了关于各种“公平”测试语义的表达能力及其区分能力的见解。
引用
@article{arxiv.0904.2340,
title = {Explicit fairness in testing semantics},
author = {D. Cacciagrano and F. Corradini and C. Palamidessi},
journal= {arXiv preprint arXiv:0904.2340},
year = {2015}
}
备注
27 pages, 1 figure, appeared in LMCS