A CONTINUOUS SEMANTICS FOR UNBOUNDED NONDETERMINISM

被引：19

作者：

BACK, RJR

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(83)90055-5

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：187 / 210

页数：24

共 17 条

[1]

APT KR, 1981, LECTURE NOTES COMPUT, V115

[2]

Back R.J., 1980, MATH CTR TRACTS, V131

[3]

BACK RJ, 1980, LECTURE NOTES COMPUT, V85, P51

BACK, RJR .

[5]

BAUER FL, 1979, LECTURE NOTES COMPUT, V69, P553

[6]

BROY M, 1979, LECTURE NOTES COMPUT, V69, P59

[7]

DEBAKKER JW, 1977, IW8277 MATH CTR REP

[8]

DEBAKKER JW, 1980, MATH THEORY PROGRAM

[9]

Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI

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

FRANCEZ, N ;

HOARE, CAR ;

LEHMANN, DJ ;

DEROEVER, WP .