RECOGNIZING SAFETY AND LIVENESS

被引：266

作者：

ALPERN, B

SCHNEIDER, FB

机构：

[1] CORNELL UNIV,DEPT COMP SCI,ITHACA,NY 14853

[2] IBM CORP,THOMAS J WATSON RES CTR,YORKTOWN HTS,NY 10598

来源：

DISTRIBUTED COMPUTING | 1987年 / 2卷 / 03期

关键词：

D O I：

10.1007/BF01782772

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：117 / 126

页数：10

共 19 条

[1] DEFINING LIVENESS [J].

ALPERN, B ;

SCHNEIDER, FB .

INFORMATION PROCESSING LETTERS, 1985, 21 (04) :181-185

[2] SAFETY WITHOUT STUTTERING [J].

ALPERN, B ;

DEMERS, AJ ;

SCHNEIDER, FB .

INFORMATION PROCESSING LETTERS, 1986, 23 (04) :177-180

[3]

ALPERN B, 1987, 2ND P ANN S LOG COMP

[4]

ALPERN B, 1986, THESIS CORNELL U

[5]

ALPERN B, 1985, TR85723 CORN U DEP C

[6] AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS USING TEMPORAL LOGIC SPECIFICATIONS [J].

CLARKE, EM ;

EMERSON, EA ;

SISTLA, AP .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1986, 8 (02) :244-263

[7]

Eilenberg S., 1974, AUTOMATA LANGUAGES M, VA

[8]

Hopcroft J.E., 1979, INTRO AUTOMATA THEOR

[9]

Lamport L., 1983, Information Processing 83. Proceedings of the IFIP 9th World Computer Congress, P657

[10] PROVING CORRECTNESS OF MULTI-PROCESS PROGRAMS [J].

LAMPORT, L .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (02) :125-143

← 1 2 →