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 条
  • [21] CONCRETE CATEGORIES AND MONOIDS OF RELATIONAL STRUCTURES
    FOLDES, S
    MENDELSOHN, E
    ALGEBRA UNIVERSALIS, 1981, 12 (02) : 145 - 147
  • [22] Two techniques in the area of the star problem in trace monoids
    Kirsten, D
    Marcinkowski, J
    THEORETICAL COMPUTER SCIENCE, 2003, 309 (1-3) : 381 - 412
  • [23] On the theory of one-step rewriting in trace monoids
    Kuske, D
    Lohrey, M
    AUTOMATA, LANGUAGES AND PROGRAMMING, 2002, 2380 : 752 - 763
  • [24] CABLING, CONTACT STRUCTURES AND MAPPING CLASS MONOIDS
    Baker, Kenneth L.
    Etnyre, John B.
    Van Horn-Morris, Jeremy
    JOURNAL OF DIFFERENTIAL GEOMETRY, 2012, 90 (01) : 1 - 80
  • [25] Polish topologies on endomorphism monoids of relational structures
    Elliott, L.
    Jonusas, J.
    Mitchell, J. D.
    Peresse, Y.
    Pinsker, M.
    ADVANCES IN MATHEMATICS, 2023, 431
  • [26] Number of Prefixes in Trace Monoids: Clique Polynomials and Dependency Graphs
    Banderier, Cyril
    Goldwurm, Massimiliano
    BEYOND THE HORIZON OF COMPUTABILITY, CIE 2020, 2020, 12098 : 251 - 263
  • [27] THE INCLUSION STRUCTURE OF PARTIALLY LOSSY QUEUE MONOIDS AND THEIR TRACE SUBMONOIDS
    Koecher, Chris
    Kuske, Dietrich
    Prianychnykova, Olena
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2018, 52 (01): : 55 - 86
  • [28] A topological characterisation of endomorphism monoids of countable structures
    Bodirsky, Manuel
    Schneider, Friedrich Martin
    ALGEBRA UNIVERSALIS, 2017, 77 (03) : 251 - 269
  • [29] A topological characterisation of endomorphism monoids of countable structures
    Manuel Bodirsky
    Friedrich Martin Schneider
    Algebra universalis, 2017, 77 : 251 - 269
  • [30] Some undecidability results related to the star problem in trace monoids
    Kirsten, D
    STACS'99 - 16TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1999, 1563 : 227 - 236
12345