COMMUNICATION IN CONCURRENT DYNAMIC LOGIC

被引：26

作者：

PELEG, D

机构：

来源：

关键词：

D O I：

10.1016/0022-0000(87)90035-3

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：23 / 58

页数：36

共 34 条

[1]

Abrahamson K. R., 1980, THESIS U WASHINGTON

[2]

APT KR, 1980, PROOF SYSTEM COMMUNI, V2

[3]

BARRINGER H, 1984, 16TH P ACM S THEOR C, P51

[4] ALTERNATION [J].

CHANDRA, AK ;

KOZEN, DC ;

STOCKMEYER, LJ .

[5]

CHANDRA AK, 1974, P IFIP, P461

[6]

CHANDY RM, TR98 U TEX TECH REP

[7]

Clocksin W. F., 1981, PROGRAMMING PROLOG

[8] PROPOSITIONAL DYNAMIC LOGIC OF REGULAR PROGRAMS [J].

FISCHER, MJ ;

LADNER, RE .

[9] SEMANTICS OF NONDETERMINISM, CONCURRENCY, AND COMMUNICATION [J].

FRANCEZ, N ;

HOARE, CAR ;

LEHMANN, DJ ;

DEROEVER, WP .

[10]

Francez N., 1980, 21st Annual Symposium on Foundations of Computer Science, P143, DOI 10.1109/SFCS.1980.5