A GENERALIZED NEXTTIME OPERATOR IN TEMPORAL LOGIC

被引：6

作者：

KROGER, F

机构：

来源：

关键词：

D O I：

10.1016/0022-0000(84)90015-1

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：80 / 98

页数：19

共 13 条

[1]

Gabbay D., 1980, POPL 80 PROC 7 ACM S, P163, DOI [10.1145/567446.567462, DOI 10.1145/567446.567462]

[2]

HAILPERN B, 1982, LECTURE NOTES COMPUT, V129

[3] MODULAR VERIFICATION OF COMPUTER-COMMUNICATION PROTOCOLS [J].

HAILPERN, BT ;

OWICKI, SS .

[4]

Kamp H., 1968, THESIS U CALIFORNIA

[5]

KROGER F, 1980, ACTA INFORM, V14, P371, DOI 10.1007/BF00286493

[6]

KROGER F, 1976, 3 INT S AUT LANG PRO, P87

[7]

KROGER F, 1978, 1977 P IFIP WORK C F, P441

[8]

Manna Z., 1980, Information Processing 80. Proceedings of the IFIP Congress 80, P41

[9] PROVING LIVENESS PROPERTIES OF CONCURRENT PROGRAMS [J].

OWICKI, S ;

LAMPORT, L .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (03) :455-495

[10]

Pnueli A., 1977, 18th Annual Symposium on Foundations of Computer Science, P46, DOI 10.1109/SFCS.1977.32