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 条
  • [1] ON MORPHISMS OF TRACE MONOIDS
    OCHMANSKI, E
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 294 : 346 - 355
  • [2] Uniform Generation in Trace Monoids
    Abbes, Samy
    Mairesse, Jean
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2015, PT I, 2015, 9234 : 63 - 75
  • [3] Model-checking trace event structures
    Madhusudan, P
    18TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2003, : 371 - 380
  • [4] The homomorphism problem for trace monoids
    Silva, PV
    THEORETICAL COMPUTER SCIENCE, 2003, 307 (01) : 199 - 215
  • [5] INCLUSION PROBLEMS IN TRACE MONOIDS
    Shahbazyan, K. V.
    Shoukourian, Yu. H.
    CYBERNETICS AND SYSTEMS ANALYSIS, 2010, 46 (04) : 546 - 553
  • [6] A REMARK ON THE REPRESENTATION OF TRACE MONOIDS
    CHOFFRUT, C
    SEMIGROUP FORUM, 1990, 40 (02) : 143 - 152
  • [7] Inclusion problems in trace monoids
    K. V. Shahbazyan
    Yu. H. Shoukourian
    Cybernetics and Systems Analysis, 2010, 46 (4) : 546 - 553
  • [8] Approximate trace and singleton failures equivalences for event structures
    Li S.-R.
    Wang C.
    Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China, 2016, 45 (04): : 674 - 683
  • [9] The Trace Monoids in the Queue Monoid and in the Direct Product of Two Free Monoids
    Kuske, Dietrich
    Prianychnykova, Olena
    DEVELOPMENTS IN LANGUAGE THEORY, DLT 2016, 2016, 9840 : 256 - 267
  • [10] Approximating the mean speedup in trace monoids
    Bertoni, Alberto
    Radicioni, Roberto
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2008, 19 (03) : 497 - 511
12345