Transition systems from event structures revisited

被引：5

作者：

Majster-Cederbaum, M ^{[1
]}

Roggenbach, M ^{[1
]}

机构：

[1] Univ Mannheim, Lehrstuhl Prakt Informat II, D-68131 Mannheim, Germany

来源：

INFORMATION PROCESSING LETTERS | 1998年 / 67卷 / 03期

关键词：

bisimulation; concurrency; event structures; formal semantics; transition systems;

D O I：

10.1016/S0020-0190(98)00105-7

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

For event structures various approaches to the definition of an operational semantics can be distinguished. We investigate how the obtained transition systems are related. (C) 1998 Elsevier Science B.V. All rights reserved.

引用

页码：119 / 124

页数：6