公平性分类及其分析

摘要

本文对不同通信及协调机制的程序设计语文的公平性问题进行了讨论。本文的讨论基于一般的转换系统模型，此模型为我们统一地处理不同机制的语言提供了一个基础。文中给出了三类公平概念：弱公平性，进程公平性和强公平性。我们进一步对每一类公平性进行了分析。