阿米尔·普努利;安德烈亚斯·波德尔斯基;安德烈·里巴尔琴科 分离公平性和良好基础,用于分析公平离散系统。 (英语) Zbl 1087.68066号 Halbwachs,Nicolas(编辑)等人,《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议,TACAS 2005,是欧洲软件理论与实践联合会议(ETAPS 2005)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25333-5/pbk)。计算机科学课堂讲稿3440124-139(2005)。 概要:公平离散系统(FDS)是并发程序的一种计算模型,其中公平假设是根据状态集指定的。公平离散系统的分析涉及公平性和良好基础(排名函数)之间的非平凡相互作用。这种相互作用一直是自动化的障碍。本文的贡献是对FDS的时间特性进行了新的分析。该分析使用一个二元关系域来描述由公平性要求指标集标记的状态。标签关系的使用将基础扎实和公平的推理分开了。关于整个系列,请参见[Zbl 1068.68006号]. 引用于1文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 68号30 软件工程的数学方面(规范、验证、度量、需求等) 2005年第68季度 计算模型(图灵机等)(MSC2010) 60年第68季度 规范和验证(程序逻辑、模型检查等) PDF格式BibTeX公司 XML格式引用 \textit{A.Pnueli}等人,Lect。注释计算。科学。3440、124--139(2005年;Zbl 1087.68066) 全文: 内政部