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 条
  • [1] Configuration structures, event structures and Petri nets
    van Glabbeek, R. J.
    Plotkin, G. D.
    THEORETICAL COMPUTER SCIENCE, 2009, 410 (41) : 4111 - 4159
  • [2] DYNAMIC CAUSALITY IN EVENT STRUCTURES
    Arbach, Youssef
    Karcher, David S.
    Peters, Kirstin
    Nestmann, Uwe
    LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (01)
  • [3] Minimisation of event structures
    Baldan, Paolo
    Raffaeta, Alessandra
    THEORETICAL COMPUTER SCIENCE, 2022, 935 : 174 - 199
  • [4] Branching cells for asymmetric event structures
    Abbes, Samy
    THEORETICAL COMPUTER SCIENCE, 2014, 546 : 32 - 51
  • [5] Typed event structures and the linear π-calculus
    Varacca, Daniele
    Yoshida, Nobuko
    THEORETICAL COMPUTER SCIENCE, 2010, 411 (19) : 1949 - 1973
  • [6] EVENT STRUCTURES FOR PETRI NETS WITH PERSISTENCE
    Baldan, Paolo
    Bruni, Roberto
    Corradini, Andrea
    Gadducci, Fabio
    Melgratti, Hernan
    Montanari, Ugo
    LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (03)
  • [7] Characterising spectra of equivalences for event structures, logically
    Baldan, Paolo
    Gorla, Daniele
    Padoan, Tommaso
    Salvo, Ivano
    INFORMATION AND COMPUTATION, 2022, 285
  • [8] Language Inclusion for Finite Prime Event Structures
    Fellner, Andreas
    Tarrach, Thorsten
    Weissenbacher, Georg
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2020, 2020, 11990 : 314 - 336
  • [9] Reversing Event Structures
    Ulidowski, Irek
    Phillips, Iain
    Yuen, Shoji
    NEW GENERATION COMPUTING, 2018, 36 (03) : 281 - 306
  • [10] Modeling dependencies and simultaneity in membrane system computations
    Pinna, G. Michele
    Saba, Andrea
    THEORETICAL COMPUTER SCIENCE, 2012, 431 : 13 - 39