SAFETY AND LIVENESS FROM A METHODOLOGICAL POINT-OF-VIEW

被引：10

作者：

DEDERICHS, F

WEBER, R

机构：

[1] Institut für Informatik, Technische Universität München, Arcisstr 21, D-8000 München 2

来源：

INFORMATION PROCESSING LETTERS | 1990年 / 36卷 / 01期

关键词：

distributed systems; liveness; property; Safety; specification methodology;

D O I：

10.1016/0020-0190(90)90181-V

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Methodological sound characterizations of safety and liveness properties, which are relevant for the specification of distributed systems, are given. The recent characterizations by Alpern and Schneider are reviewed and some of their shortcomings are demonstrated. It is shown why they occur and that in our approach they are avoided. Finally some features of these characterizations are proved and their methodological impacts are discussed. © 1990.

引用

页码：25 / 30

页数：6

共 50 条

[21] POINT-OF-VIEW
MIDURA, R
SPINE, 1994, 19 (16) : 1834 - 1835
[22] POINT-OF-VIEW
TURK, DC
SPINE, 1994, 19 (09) : 1052 - 1053
[23] POINT-OF-VIEW
HERKOWITZ, HN
OAK, R
SPINE, 1994, 19 (13) : 1444 - 1444
[24] POINT-OF-VIEW
KING, AI
SPINE, 1994, 19 (11) : 1290 - 1290
[25] POINT-OF-VIEW
HERZOG, RJ
SPINE, 1994, 19 (18) : 2095 - 2095
[26] POINT-OF-VIEW
YAMADA, T
SPINE, 1995, 20 (22) : 2435 - 2435
[27] POINT-OF-VIEW IN 'PARADISE LOST', AND CRITICAL POINT-OF-VIEW + MILTON
WEBER, BJ
ENGLISH STUDIES IN CANADA, 1984, 10 (03): : 278 - 288
[28] TOBACCO FROM A MEDICAL POINT-OF-VIEW
MACDERMOT, HE
CANADIAN MEDICAL ASSOCIATION JOURNAL, 1992, 146 (02) : 179 - 180
[29] UROLITHIASIS FROM THE INTERNISTS POINT-OF-VIEW
TSCHOPE, W
ZUMTHEMA, ER
MUNCHENER MEDIZINISCHE WOCHENSCHRIFT, 1986, 128 (23): : 419 - 421
[30] STRESS FROM THE POINT-OF-VIEW OF A VETERINARIAN
MARSCHANG, F
PRAKTISCHE TIERARZT, 1986, 67 (12): : 1050 - 1052

← 1 2 3 4 5 →