Strategic directions in concurrency research

被引：25

作者：

Cleaveland, R ^{[1
]}

Smolka, SA ^{[1
]}

Alur, R ^{[1
]}

Baeten, J ^{[1
]}

Bergstra, JA ^{[1
]}

Best, E ^{[1
]}

DeNicola, R ^{[1
]}

Gill, H ^{[1
]}

Gorrieri, R ^{[1
]}

Gouda, MG ^{[1
]}

Groote, JF ^{[1
]}

Henzinger, TA ^{[1
]}

Hoare, CAR ^{[1
]}

Luginbuhl, D ^{[1
]}

Meyer, A ^{[1
]}

Miller, D ^{[1
]}

Misra, J ^{[1
]}

Moller, F ^{[1
]}

Montanari, U ^{[1
]}

Pnueli, A ^{[1
]}

Prasad, S ^{[1
]}

Pratt, VR ^{[1
]}

Sifakis, J ^{[1
]}

SmolkaChair, SA ^{[1
]}

Steffen, B ^{[1
]}

Thomsen, B ^{[1
]}

Vaandrager, F ^{[1
]}

Vardi, M ^{[1
]}

Wolper, P ^{[1
]}

机构：

[1] SUNY STONY BROOK, DEPT COMP SCI, STONY BROOK, NY 11794 USA

来源：

ACM COMPUTING SURVEYS | 1996年 / 28卷 / 04期

关键词：

D O I：

10.1145/242223.242252

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

[No abstract available]

引用

页码：607 / 625

页数：19

共 114 条

[1]

ABRAMSKY S, 1996, LECT NOTES COMPUTER, V1043

[2] TURNING SOS RULES INTO EQUATIONS [J].

ACETO, L ;

BLOOM, B ;

VAANDRAGER, F .

INFORMATION AND COMPUTATION, 1994, 111 (01) :1-52

[3] DEFINING LIVENESS [J].

ALPERN, B ;

SCHNEIDER, FB .

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

[4] A THEORY OF TIMED AUTOMATA [J].

ALUR, R ;

DILL, DL .

THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) :183-235

[5] Reactive modules [J].

Alur, R ;

Henzinger, TA .

11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, :207-218

[6]

ALUR R, 1996, LECT NOTES COMPUTER, V1102

[7] MODEL CHECKING AND BOOLEAN GRAPHS [J].

ANDERSEN, HR .

THEORETICAL COMPUTER SCIENCE, 1994, 126 (01) :3-30

[8]

[Anonymous], 1995, J COMPUT SECUR, DOI DOI 10.3233/JCS-1994/1995-3103

[9]

[Anonymous], LECT NOTES COMPUTER

[10]

Baeten J.C.M., 1990, Cambridge Tracts in Theoretical Computer Science, V18

← 1 2 3 4 5 6 7 8 9 10 →