USING BRANCHING TIME TEMPORAL LOGIC TO SYNTHESIZE SYNCHRONIZATION SKELETONS

被引：359

作者：

EMERSON, EA

CLARKE, EM

机构：

[1] UNIV TEXAS, DEPT COMP SCI, AUSTIN, TX 78712 USA

[2] CARNEGIE MELLON UNIV, DEPT COMP SCI, PITTSBURGH, PA 15213 USA

来源：

关键词：

D O I：

10.1016/0167-6423(83)90017-5

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：241 / 266

页数：26

相关论文

共 23 条

[1]

BENARI M, 1981, COMMUNICATION

[2]

BENARI M, 1981, 8TH P INT C AUT LANG, P249

[3]

BENARI M, 1981, 8TH ANN ACM S PRINC, P164

[4]

Clarke E.M., 1982, LECTURE NOTES COMPUT, V131, P52, DOI DOI 10.1007/BFB0025774

[5]

CLARKE EM, COMPUTING, V21, P273

[6]

CLARKE EM, 1983, 10TH ANN ACM S PRINC

[7]

Cresswell M., 1968, INTRO MODAL LOGIC

[8]

EMERSON EA, 1981, THESIS HARVARD U

[9]

EMERSON EA, 1980, LECT NOTES COMPUT SC, V85, P169

[10]

EMERSON EA, 1982, 14TH P ANN ACM S THE, P169