DISTRIBUTED BISIMULATIONS

被引：30

作者：

CASTELLANI, I ^{[1
]}

HENNESSY, M ^{[1
]}

机构：

[1] UNIV SUSSEX,BRIGHTON BN1 9QH,E SUSSEX,ENGLAND

来源：

JOURNAL OF THE ACM | 1989年 / 36卷 / 04期

关键词：

Computer Metatheory - Computer Systems; Digital--Distributed - Mathematical Techniques--Algebra;

D O I：

10.1145/76359.76369

中图分类号：

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

学科分类号：

0812 ;

摘要：

A new equivalence between concurrent processes is proposed. It generalizes the well-known bisimulation equivalance to take into account the distributed nature of processes. The result is a noninterleaving semantic theory; concurrent processes are differentiated from processes that are nondeterministic but sequential. The new equivalence, together with its observational version, is investigated for a subset of the language CCS, and various algebraic characterizations are obtained.

引用

页码：887 / 911

页数：25

共 22 条

[1]

ACETO L, 1986, B463 I EL INF CONS N

[2] ALGEBRA OF PROCESSES AND SYNCHRONIZATION [J].