EVENT STRUCTURES AND TRACE MONOIDS

被引：15
|
作者：
ROZOY, B
THIAGARAJAN, PS
机构：
[1] INST MATH SCI,MADRAS 600113,INDIA
[2] AARHUS UNIV,DEPT COMP SCI,DK-8000 AARHUS,DENMARK
来源：
THEORETICAL COMPUTER SCIENCE | 1991年 / 91卷 / 02期
关键词：
D O I：
10.1016/0304-3975(91)90087-I
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Event structures are a poset-based model for describing the behaviour of distributed systems. They give rise to a well-understood class of Scott domains. Event structures are also related to Petri nets in a fundamental way. Trace monoids are a string-based formalism for describing the behaviour of distributed systems. They have an independent theory rooted in the theory of formal languages. Here we obtain a representation of trace monoids in terms of a subclass of labelled event structures.
引用
收藏
页码：285 / 313
页数：29
相关论文
共 50 条
12345