GLOBAL RENAMING OPERATORS IN CONCRETE PROCESS ALGEBRA

被引：44

作者：

BAETEN, JCM ^{[1
]}

BERGSTRA, JA ^{[1
]}

机构：

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

来源：

INFORMATION AND COMPUTATION | 1988年 / 78卷 / 03期

关键词：

D O I：

10.1016/0890-5401(88)90027-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：205 / 245

页数：41

共 20 条

[1] ON THE CONSISTENCY OF KOOMEN FAIR ABSTRACTION RULE [J].

BAETEN, JCM ;

BERGSTRA, JA ;

KLOP, JW .

THEORETICAL COMPUTER SCIENCE, 1987, 51 (1-2) :129-176

[2]

BAETEN JCM, 1987, LNCS, V267, P84

[3]

BAETEN JCM, 1985, CSR8521 CTR MATH COM

[4]

BAETEN JCM, 1987, 1986 P IFIP C FORM D, P53

[5]

Bergstra J., 1987, Fundamenta Informaticae, V10, P213

[6]

BERGSTRA JA, 1985, LECT NOTES COMPUT SC, V197, P76

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

BERGSTRA, JA ;

TUCKER, JV .

SCIENCE OF COMPUTER PROGRAMMING, 1985, 5 (02) :171-199

[8] PROCESS ALGEBRA FOR SYNCHRONOUS COMMUNICATION [J].

BERGSTRA, JA ;

KLOP, JW .

INFORMATION AND CONTROL, 1984, 60 (1-3) :109-137

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

BERGSTRA, JA ;

KLOP, JW .

THEORETICAL COMPUTER SCIENCE, 1985, 37 (01) :77-121

[10]

BERGSTRA JA, 1986, 1986 P CWI S MATH CO, P89

← 1 2 →