OBSERVING LOCALITIES

被引：34

作者：

BOUDOL, G

CASTELLANI, I

HENNESSY, M

KIEHN, A

机构：

[1] UNIV SUSSEX, SCH COGNIT & COMP SCI, BRIGHTON BN1 9QH, E SUSSEX, ENGLAND

[2] TECH UNIV MUNICH, INST INFORMAT, W-8000 MUNICH 2, GERMANY

来源：

THEORETICAL COMPUTER SCIENCE | 1993年 / 114卷 / 01期

关键词：

D O I：

10.1016/0304-3975(93)90152-J

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We introduce a refined version of observation for CCS which allows the observer to see the distributed nature of processes. Using several examples, we argue that a semantic theory based on such observations is not only intuitive but may also be of use when formalising the relationship between implementations and specifications. Technically, we show that the resulting theory of location equivalence is very similar to that of bisimulation equivalence, e.g. it can be characterised by a simple modal logic. A comparison with distributed bisimulations is also given.

引用

页码：31 / 61

页数：31

共 14 条

[1] ALGEBRA OF COMMUNICATING PROCESSES WITH ABSTRACTION [J].