ON THE CONSISTENCY OF KOOMEN FAIR ABSTRACTION RULE

被引：77

作者：

BAETEN, JCM

BERGSTRA, JA

KLOP, JW

机构：

[1] STATE UNIV UTRECHT, DEPT PHILOSOPHY, 3584 CS UTRECHT, NETHERLANDS

[2] CTR MATH & COMP SCI, DEPT SOFTWARE TECHNOL, 1009 AB AMSTERDAM, NETHERLANDS

来源：

关键词：

D O I：

10.1016/0304-3975(87)90052-1

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：129 / 176

页数：48

共 29 条

[1]

Baeten J. C. M., 1986, Fundamenta Informaticae, V9, P127

[2]

Baeten J.C.M, 1986, PROCESALGEBRA

[3]

BAETEN JCM, 1987, 1986 IFIP C FORM DES

[4]

BAETEN JCM, 1987, CSR8721 CTR MATH COM

[5]

BAETEN JCM, 1987, IN PRESS 14TH P ICAL

[6] TOP-DOWN DESIGN AND THE ALGEBRA OF COMMUNICATING PROCESSES [J].

BERGSTRA, JA ;

TUCKER, JV .

[7] ALGEBRA OF COMMUNICATING PROCESSES WITH ABSTRACTION [J].

BERGSTRA, JA ;

KLOP, JW .

[8]

BERGSTRA JA, 1986, MATH RES, V31, P9

[9]

BERGSTRA JA, 1986, IN PRESS P LOGIC C

[10]

BERGSTRA JA, 1983, IW23183 MATH CENTR R