Circular Causality in Event Structures

被引：8

作者：

Bartoletti, Massimo ^{[1
]}

Cimoli, Tiziana ^{[1
]}

Pinna, G. Michele ^{[1
]}

Zunino, Roberto ^{[2
,3
]}

机构：

[1] Univ Cagliari, Dipartimento Matemat & Informat, I-09124 Cagliari, Italy

[2] Univ Trento, Dipartimento Matemat, Trento, Italy

[3] COSBI, Trento, Italy

来源：

FUNDAMENTA INFORMATICAE | 2014年 / 134卷 / 3-4期

关键词：

Event structures; Contracts; Intuitionistic logic; PETRI NETS;

D O I：

10.3233/FI-2014-1101

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We propose a model of events with circular causality, in the form of a conservative extension of Winskel's event structures. We study the relations between this new kind of event structures and Propositional Contract Logic. Provable atoms in the logic correspond to reachable events in our event structures. Furthermore, we show a correspondence between the configurations of this new brand of event structures and the proofs in a fragment of Propositional Contract Logic.

引用

页码：219 / 259

页数：41

共 50 条

[31] Branching cells for asymmetric event structures
Abbes, Samy
THEORETICAL COMPUTER SCIENCE, 2014, 546 : 32 - 51
[32] Conflict Reduction of Acyclic Flow Event Structures
Miyamoto, Toshiyuki
Izawa, Marika
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2023, E106A (05) : 707 - 714
[33] BACK AND FORTH BISIMULATIONS ON PRIME EVENT STRUCTURES
CHERIEF, F
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 605 : 843 - 858
[34] On varieties of density and crossing properties for event structures
Kotov, VE
Starkova, SA
Virbitskaite, IB
COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (06): : 611 - 622
[35] Probabilistic pi-Calculus and Event Structures
Varacca, Daniele
Yoshida, Nobuko
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 190 (03) : 147 - 166
[36] Model Event/Fault Trees With Dynamic Uncertain Causality Graph for Better Probabilistic Safety Assessment
Zhou, Zhenxu
Zhang, Qin
IEEE TRANSACTIONS ON RELIABILITY, 2017, 66 (01) : 178 - 188
[37] Transition systems from event structures revisited
Majster-Cederbaum, M
Roggenbach, M
INFORMATION PROCESSING LETTERS, 1998, 67 (03) : 119 - 124
[38] Event structures for the reversible early internal π-calculus
Graversen, Eva
Phillips, Iain
Yoshida, Nobuko
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2022, 124
[39] 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
[40] Contextual Petri nets, asymmetric event structures, and processes
Baldan, P
Corradini, A
Montanari, U
INFORMATION AND COMPUTATION, 2001, 171 (01) : 1 - 49

← 1 2 3 4 5 →