ON THE CONSTRUCTION OF SUBMODULE SPECIFICATIONS AND COMMUNICATION PROTOCOLS

被引：71

作者：

MERLIN, P

VONBOCHMANN, G

机构：

[1] UNIV MONTREAL,DEPT INFORMAT & RECH OPERAT,MONTREAL H3C 3J7,QUEBEC,CANADA

[2] TECHNION ISRAEL INST TECHNOL,HAIFA,ISRAEL

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1983年 / 5卷 / 01期

关键词：

D O I：

10.1145/357195.357196

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：1 / 25

页数：25

共 16 条

[1]

BARTUSSEK W, 1977, TR77012 U N CAR REP

[2] DISTRIBUTED SYNCHRONIZATION AND REGULARITY [J].

BOCHMANN, GV .

COMPUTER NETWORKS AND ISDN SYSTEMS, 1979, 3 (01) :36-43

[3]

BOCHMANN GV, 1975, OPER SYST REV, V9, P45

[4]

CAMPBELL R, 1974, LECTURE NOTES COMPUT, V16

[5]

CERNY E, 1977, IEEE T COMPUT, V26, P745, DOI 10.1109/TC.1977.1674912

[6]

CERNY E, 1978, IEEE T COMPUT, V27, P896, DOI 10.1109/TC.1978.1674968

[7] COMMUNICATING SEQUENTIAL PROCESSES [J].

HOARE, CAR .

[8]

Hopcroft J.E., 1969, FORMAL LANGUAGES THE

[9]

LEGUERNIC P, 1980, NOV ACT C AFCET ASS, P667

[10]

LUCKHAM DC, 1979, AXIOMATIC SEMANTICS