COMMUNICATION IN CONCURRENT DYNAMIC LOGIC

被引：26

作者：

PELEG, D

机构：

来源：

关键词：

D O I：

10.1016/0022-0000(87)90035-3

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：23 / 58

页数：36

共 34 条

[21] CORRECTNESS OF NONDETERMINISTIC PROGRAMS [J].

MANNA, Z .

[22]

MANNA Z, 1982, INT LECTURE SERIES C, P215

[23]

MANNA Z, 1982, LECT NOTES COMPUTER, V131, P200

[24] DEFINABILITY IN DYNAMIC LOGIC [J].

MEYER, AR ;

PARIKH, R .

[25] CONCURRENT PROCESSES AND THEIR SYNTAX [J].

MILNE, G ;

MILNER, R .

[26]

Milner R., 1980, LECT NOTES COMPUT SC, V92

[27]

PELEG D, 1987, IN PRESS J ASS COMPU

[28]

PELEG D, 1984, CS8415 WEIZM I SCI

[29]

PELEG D, 1984, CS8425 WEIZM I SCI

[30]

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