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 条

[21]

HENNESSY M, 1982, CSR12482 U ED REP

[22]

HENNESSY M, J ASS COMPUT MACH

[23]

HENNESSY M, 1982, CSR12382 U ED REP

[24]

HENNESSY M, 1981, RELATIONSHIP TIME IN

[25]

HENNESSY M, 1980, LECTURE NOTES COMPUT, V88

[26]

HENNESSY MCB, 1980, LECTURE NOTES COMPUT, V85, P299, DOI DOI 10.1007/3-540-10003-2

[27]

HOARE C, 1981, J ASS COMPUT MACH, V31, P560

[28]

Hoare C. A. R., 1980, On the construction of programs, P229

[29] COMMUNICATING SEQUENTIAL PROCESSES [J].

HOARE, CAR .

HUET, G .