NONDETERMINISM AND FULLY ABSTRACT MODELS

被引：0

作者：

ASTESIANO, E

COSTA, G

机构：

来源：

RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS | 1980年 / 14卷 / 04期

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：323 / 347

页数：25

共 10 条

[1]

ASTESIANO E, 1979, LECTURE NOTES COMPUT, V71, P1

[2]

Berry G~erard, 1978, LNCS, p72{89

[3]

HENNESSY M, 1976, SEMANTICS NONDETERMI, P478

[4]

Milner R., 1977, Theoretical Computer Science, V4, P1, DOI 10.1016/0304-3975(77)90053-6

[5]

MILNER R, 1975, PROCESSES MATH MODEL, V80, P157

[6]

PLOTKIN G, 1976, SIAM J COMPUT, V5, P453

[7]

PLOTKIN G, 1973, SAIRM4 SCH ART INT M

[8]

PLOTKIN G, 1978, COMMUNICATION

[9]

Plotkin G. D., 1977, Theoretical Computer Science, V5, P223, DOI 10.1016/0304-3975(77)90044-5

[10] POWER DOMAINS [J].

SMYTH, MB .