TOWARDS ACTION-REFINEMENT IN PROCESS ALGEBRAS

被引：38

作者：

ACETO, L

HENNESSY, M

机构：

[1] School of Cognitive and Computing Sciences, University of Sussex

来源：

INFORMATION AND COMPUTATION | 1993年 / 103卷 / 02期

关键词：

D O I：

10.1006/inco.1993.1019

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We present a simple process algebra which supports a form of refinement of an action by a process and address the question of an appropriate equivalence relation for it. The main result of the paper is that an adequate equivalence can be defined in a very intuitive manner. In fact we show that it coincides with the timed-equivalence proposed by one of the authors. We also show that it can be characterized equationally. © 1993 Academic Press, Inc.

引用

页码：204 / 269

页数：66

共 37 条

[1] OBSERVATION EQUIVALENCE AS A TESTING EQUIVALENCE [J].