×

分离公平性和良好基础,用于分析公平离散系统。 (英语) 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号].

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
68号30 软件工程的数学方面(规范、验证、度量、需求等)
2005年第68季度 计算模型(图灵机等)(MSC2010)
60年第68季度 规范和验证(程序逻辑、模型检查等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部