PROCESS ALGEBRA FOR SYNCHRONOUS COMMUNICATION

被引：472

作者：

BERGSTRA, JA

KLOP, JW

机构：

来源：

INFORMATION AND CONTROL | 1984年 / 60卷 / 1-3期

关键词：

D O I：

10.1016/S0019-9958(84)80025-X

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：109 / 137

页数：29

相关论文

共 47 条

[1]

BACK RJR, 1982, ACM C PRINCIPLES DIS

[2]

BACK RJR, 1982, SUITABILITY TRACE SE

[3]

BERGSTRA JA, 1984, LECT NOTES COMPUT SC, V172, P82

[4]

BERGSTRA JA, 1984, CSR8403 CENTR WISK I

[5]

BERGSTRA JA, 1984, CSR8404 CENTR WISK I

[6]

BERGSTRA JA, 1984, CSR8405 CENTR WISK I

[7]

BERGSTRA JA, 1983, IW22283 MATH CENTR R

[8]

BERGSTRA JA, 1983, IW23283 MATH CENTR R

[9]

BROOKES S, 1983, LECTURE NOTES COMPUT, P97

[10]

BROOKES SD, 1983, LECT NOTES COMPUT SC, V154, P83