ACCEPTANCE TREES

被引：70

作者：

HENNESSY, M

机构：

来源：

关键词：

D O I：

10.1145/4221.4249

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：896 / 928

页数：33

共 37 条

[1]

BERGSTRA JA, 1982, IW20682 MATH CENTR T

[2]

BERGSTRA JA, 1983, IW21883 MATH CENTR T

[3] A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES [J].

BROOKES, SD ;

HOARE, CAR ;

ROSCOE, AW .

[4]

BROOKES SD, 1983, THESIS OXFORD U OXFO

[5]

BROOKES SD, 1983, LECTURE NOTES COMPUT, V154

[6]

DEBAKKER JW, 1982, IW20982 MATH CENTR T

[7] TESTING EQUIVALENCES FOR PROCESSES [J].

DENICOLA, R ;

HENNESSY, MCB .

[8]

DENICOLA R, 1983, LECT NOTES COMPUT SC, V158, P115

[9]

DENICOLA R, UNPUB INF CONTROL

[10] 2 FAMILIES OF LANGUAGES RELATED TO ALGOL [J].

GINSBURG, S ;

RICE, HG .