CONCURRENT HISTORIES - A BASIS FOR OBSERVING DISTRIBUTED SYSTEMS

被引：37

作者：

DEGANO, P

MONTANARI, U

机构：

[1] Univ di Pisa, Pisa, Italy, Univ di Pisa, Pisa, Italy

来源：

关键词：

D O I：

10.1016/0022-0000(87)90032-8

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：422 / 461

页数：40

共 27 条

[1]

ARNOLD A, 1982 MATH INF AFCET

[2] A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES [J].

BROOKES, SD ;

HOARE, CAR ;

ROSCOE, AW .

[3] SEMANTICS OF COMMUNICATING PROCESSES [J].

BROY, M .

INFORMATION AND CONTROL, 1984, 61 (03) :202-246

[4]

CASTELLANI I, 1983, LECT NOTES COMPUT SC, V153, P20

[5]

DARONDEAU P, 1983, LECT NOTES COMPUT SC, V154, P147

[6]

DEGANO P, 1985, LECT NOTES COMPUT SC, V185, P29

[7]

DEGANO P, 1985, LECT NOTES COMPUT SC, V199, P520

[8]

DEGANO P, 1984, 16TH P ANN ACM SIGAC, P31

[9]

DEGANO P, 1985, NATO ASI SERIES F, V14, P7

[10]

DEGANO P, 1986, AUG P IFIP WORK C FO