PROCESS THEORY BASED ON BISIMULATION SEMANTICS

被引：15

作者：

BERGSTRA, JA

KLOP, JW

机构：

[1] STATE UNIV UTRECHT,DEPT PHILOSOPHY,3508 TA UTRECHT,NETHERLANDS

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

[3] FREE UNIV AMSTERDAM,DEPT MATH & COMP SCI,1081 HV AMSTERDAM,NETHERLANDS

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 354卷

关键词：

D O I：

10.1007/BFb0013021

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：50 / 122

页数：73

共 54 条

[1]

ACZEL P, 1987, CSLI9 LECT NOT

[2]

AMERICA P, 1988, SPRINGER LNCS, V298

[3]

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

[4] GLOBAL RENAMING OPERATORS IN CONCRETE PROCESS ALGEBRA [J].

BAETEN, JCM ;

BERGSTRA, JA .

INFORMATION AND COMPUTATION, 1988, 78 (03) :205-245

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

BAETEN, JCM ;

BERGSTRA, JA ;

KLOP, JW .

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

[6]

BAETEN JCM, 1987, LECT NOTES COMPUT SC, V259, P94

[7]

BAETEN JCM, 1987, SPRINGER LNCS, V267, P84

[8]

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

[9]

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

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

BERGSTRA, JA ;

KLOP, JW .

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

← 1 2 3 4 5 6 →