Enhanced event structures: Towards a true concurrency semantics for E-LOTOS

被引：3
|
作者：
Kapus-Kolar, M. [1 ]
机构：
[1] Jozef Stefan Inst, SI-1111 Ljubljana, Slovenia
来源：
COMPUTER STANDARDS & INTERFACES | 2007年 / 29卷 / 02期
关键词：
event structures; process algebra; E-LOTOS; formal semantics; true concurrency;
D O I：
10.1016/j.csi.2006.03.007
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
E-LOTOS is a standard process-algebraic language for formal specification of real-time concurrent and reactive systems. Its originally defined semantics is based on interleaving of events. In the present paper, we propose an enhanced kind of event structures and show how to employ them to give E-LOTOS processes a branching-time true concurrency semantics. The proposed event structures can model real-time processes with data handling and excel in concise representation of event renaming and synchronization. (c) 2006 Elsevier B.V. All rights reserved.
引用
收藏
页码：205 / 215
页数：11
相关论文
共 10 条
1