哈根·沃尔泽；丹尼尔·瓦拉卡 定义反应式和并发系统中的公平性。 （英语） Zbl 1281.68163号 美国临床医学杂志 59，第3号，第13条，37页（2012年）. 引用于5文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B70号 计算机科学中的逻辑 03B44号 时间逻辑 关键词：公平；并发系统；博弈论；机器关闭；模型检查；时序逻辑；时间特性；拓扑 PDF格式BibTeX公司 XML格式引用 \textit{H.Völzer}和\textit{D.Varacca}，J.ACM 59，第3号，第13条，第37页（2012；Zbl 1281.68163） 全文： 内政部