Calculating and composing progress properties in terms of the leads-to relation

被引：0

作者：

Mooij, Arjan J. ^{[1
]}

机构：

[1] Univ Nottingham, Sch Comp Sci & Informat Technol, Nottingham NG7 2RD, England

来源：

FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS | 2007年 / 4789卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

To facilitate the construction of concurrent programs based on progress requirements, we study an integration of the Owicki/Gries theory with UNITY's leads-to relation. In particular we investigate a set of calculational rules for leads-to, and we study the composition of programs regarding their effect on progress. Apart from parallel composition, we consider the less familiar notion of weak sequential composition. Our techniques are illustrated on two network initialisation protocols that are related to the protocol standard IEEE 1394.

引用

页码：366 / 386

页数：21

共 15 条

[1] Composing leads-to properties
Meier, D
Sanders, B
THEORETICAL COMPUTER SCIENCE, 2000, 243 (1-2) : 339 - 361
[2] ELIMINATING DISJUNCTIONS OF LEADS-TO PROPERTIES
CALVERT, K
INFORMATION PROCESSING LETTERS, 1994, 49 (04) : 189 - 194
[3] Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way
Canh Minh Do
Phyo, Yati
Riesco, Adrian
Ogata, Kazuhiro
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2023, 32 (06)
[4] Verification and Synthesis of Symmetric Uni-Rings for Leads-To Properties
Ebnenasir, Ali
2019 FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD), 2019, : 78 - 86
[5] Graph model for calculating the properties of saturated monoalcohols based on the additivity of energy terms
Grebeshkov, V. V.
Smolyakov, V. M.
RUSSIAN JOURNAL OF PHYSICAL CHEMISTRY A, 2012, 86 (05) : 736 - 740
[6] Graph model for calculating the properties of saturated monoalcohols based on the additivity of energy terms
V. V. Grebeshkov
V. M. Smolyakov
Russian Journal of Physical Chemistry A, 2012, 86 : 736 - 740
[7] On sets of terms: a study of a generalisation relation and of its algorithmic properties
LIRMM, Montpellier, France
Fundam Inf, 2 (99-121):
[8] On the relation between the physical, chemical and electrical properties of the nerves - Part II - The tissues composing a nerve trunk
Ellison, FOB
JOURNAL OF PHYSIOLOGY-LONDON, 1910, 39 (06): : 397 - 401
[9] CALCULATING MECHANICAL PROPERTIES OF STEEL WHEN ROLLING ON CONTINUOUS MILLS IN RELATION TO TEMPERATURE-SPEED DEFORMATION CYCLES
CHEKMAREV, AP
CHERNYAV.AA
MELESHKO, VI
SAVINOV, LM
STAL IN ENGLISH-USSR, 1969, (04): : 403 - +
[10] Research Progress of SPPs and Its Relation with Corrosion Properties in Nb-contained Zirconium Alloys
Wang Rongshan
Bai Guanghai
Weng Likui
Zhang Yanwei
Liu Erwei
Geng Jianqiao
Li Jinshan
Xue Xiangyi
RARE METAL MATERIALS AND ENGINEERING, 2014, 43 (12) : 3188 - 3192

← 1 2 →