THE POWER OF TEMPORAL PROOFS

被引：49

作者：

ABADI, M ^{[1
]}

机构：

[1] STANFORD UNIV,DEPT COMP SCI,STANFORD,CA 94305

来源：

关键词：

D O I：

10.1016/0304-3975(89)90138-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：35 / 83

页数：49

共 30 条

[1]

ABADI M, 1986, 1ST ANN S LOG COMP S, P176

[2]

ABADI M, 1987, 2ND P ANN IEEE S LOG, P123

[3]

[Anonymous], 1986, LOGIC COMPUTER SCI F

[4]

Burgess J., 1982, NOTRE DAME J FORM L, V23, P367

[5]

Burgess J.P., 1984, HDB PHILOS LOGIC VOL, P89, DOI [10.1007/978-94-009-6259-02, DOI 10.1007/978-94-009-6259-02]

[6]

Cresswell M., 1968, INTRO MODAL LOGIC

[7]

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

[8]

GARSON JW, 1984, HDB PHILOS LOGIC, P249

[9]

GODEL K, 1967, FREGE GODEL, P525

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

HAILPERN, BT ;

OWICKI, SS .