Simultaneity in Event Structures

被引:0
作者
Pinna, G. Michele [1 ]
Saba, Andrea [1 ]
机构
[1] Univ Cagliari, Dipartimento Matemat & Informat, I-09124 Cagliari, Italy
来源
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS | 2010年 / 6108卷
关键词
PETRI NETS; STRUCTURE SEMANTICS; CONCURRENCY;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Various brand of event structures, prime, bundle, flow, asymmetric, inhibitor just to mention some, have been proposed to face the various kinds of causality and conflict arising in computation. The notion of simultaneity, i.e., the faithful representation that certain events have to occur together, is usually left out from the models for concurrent computations, with some notably exceptions like Pratt's Chu spaces or Bruni&Montanari's Zero-Safe nets. In this paper we propose a notion of event, structures with simultaneity to take into account the simultaneity and we relate the introduced notion with the prime event structures and domains.
引用
收藏
页码:385 / 396
页数:12
相关论文
共 50 条
  • [21] BACK AND FORTH BISIMULATIONS ON PRIME EVENT STRUCTURES
    CHERIEF, F
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 605 : 843 - 858
  • [22] A Reversible Perspective on Petri Nets and Event Structures
    Melgratti, Hernan
    Mezzina, Claudio Antares
    Pinna, G. Michele
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2024, 25 (04)
  • [23] A NEW OPERATIONAL REPRESENTATION OF DEPENDENCIES IN EVENT STRUCTURES
    Pinna, G. Michele
    LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (04)
  • [24] Event Structures for the Reversible Early Internal π-Calculus
    Graversen, Eva
    Phillips, Iain
    Yoshida, Nobuko
    REVERSIBLE COMPUTATION (RC 2020), 2020, 12227 : 71 - 90
  • [25] Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict
    Best, Eike
    Gribovskaya, Nataliya
    Virbitskaite, Irina
    SOFSEM 2017: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2017, 10139 : 132 - 146
  • [26] Transition systems from event structures revisited
    Majster-Cederbaum, M
    Roggenbach, M
    INFORMATION PROCESSING LETTERS, 1998, 67 (03) : 119 - 124
  • [27] Event structures for the reversible early internal π-calculus
    Graversen, Eva
    Phillips, Iain
    Yoshida, Nobuko
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 124
  • [28] Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs
    Dumas, Marlon
    Garcia-Banuelos, Luciano
    APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, 2015, 9115 : 33 - 48
  • [29] A distributed operational view of Reversible Prime Event Structures
    Melgratti, Hernan
    Mezzina, Claudio Antares
    Pinna, G. Michele
    2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
  • [30] A counterexample to Thiagarajan's conjecture on regular event structures
    Chalopin, Jeremie
    Chepoi, Victor
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2020, 113 : 76 - 100