PRIORITIES IN PROCESS ALGEBRAS

被引：52

作者：

CLEAVELAND, R ^{[1
]}

HENNESSY, M ^{[1
]}

机构：

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

来源：

INFORMATION AND COMPUTATION | 1990年 / 87卷 / 1-2期

关键词：

D O I：

10.1016/0890-5401(90)90059-Q

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

An operational semantics for an algebraic theory of concurrency that incorporates a notion of priority into the definition of the execution of actions is developed. An equivalence based on strong observational equivalence is defined and shown to be a congruence, and a complete axiomatization is given for finite terms. Several examples higlight the novelty and usefulness of our approach. © 1990.

引用

页码：58 / 77

页数：20