Progress, Fairness and Justness in Process Algebra
Progress, Fairness and Justness in Process Algebra
复制标题
过程代数的进步、公平和公正
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
P. Höfner
中科院分区：
文献类型：
--
作者：
R. V. Glabbeek;P. Höfner
为了证明并发系统的活跃性，通常需要假设进度性、公平性和公正性。本文研究了如何将必要的进展、公平和公正假设添加到或合并到标准过程代数规范形式主义中。我们提出了一种可以应用于广泛的过程代数的形式化。所提出的形式用于推理无线网络设置中的路由发现和数据包传递。
To prove liveness properties of concurrent systems, it is often necessary to postulate progress, fairness and justness properties. This paper investigates how the necessary progress, fairness and justness assumptions can be added to or incorporated in a standard process-algebraic specification formalism. We propose a formalisation that can be applied to a wide range of process algebras. The presented formalism is used to reason about route discovery and packet delivery in the setting of wireless networks.