语义测试中的显式公平性
Explicit fairness in testing semantics
摘要：
在本文中，我们调查公平计算的π演算。根据Costa和Stirling的CCS类语言方法，我们考虑了一种标记进程操作的方法，以过滤掉不公平的计算。我们将现有的公平测试概念与那些通过强加弱公平和强公平而自然产生的概念进行对比。这种比较提供了关于各种“公平”测试语义的表达能力和它们的区分能力的见解。
英文摘要：
In this paper we investigate fair computations in the pi-calculus. Following Costa and Stirling's approach for CCS-like languages, we consider a method to label process actions in order to filter out unfair computations. We contrast the existing fair-testing notion with those that naturally arise by imposing weak and strong fairness. This comparison provides insight about the expressiveness of the various `fair' testing semantics and about their discriminating power.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
