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 条

[21] Event structures for arbitrary disruption
Fecher, H
Majster-Cederbaum, M
FUNDAMENTA INFORMATICAE, 2005, 68 (1-2) : 103 - 130
[22] Probabilistic event structures and domains
Varacca, Daniele
Voelzer, Hagen
Winskel, Glynn
THEORETICAL COMPUTER SCIENCE, 2006, 358 (2-3) : 173 - 199
[23] Topological Properties of Event Structures
Santocanale, Luigi
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 230 (0C) : 149 - 160
[24] Representing Dependencies in Event Structures
Pinna, G. Michele
COORDINATION MODELS AND LANGUAGES, COORDINATION 2019, 2019, 11533 : 3 - 18
[25] Operational Representation of Dependencies in Context-Dependent Event Structures
Pinna, G. Michele
COORDINATION MODELS AND LANGUAGES, COORDINATION 2020, 2020, 12134 : 320 - 338
[26] GAMES AND STRATEGIES AS EVENT STRUCTURES
Castellan, Simon
Clairambault, Pierre
Rideau, Silvain
Winskel, Glynn
LOGICAL METHODS IN COMPUTER SCIENCE, 2017, 13 (03)
[27] The Geometry of Causality
Castellan, Simon
Clairambault, Pierre
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL):
[28] Equilibria of Concurrent Games on Event Structures
Gutierrez, Julian
Wooldridge, Michael
PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2014,
[29] Event Circular Waits and Their Analysis via Petri Nets
Fan, Xing
Yang, Benyuan
Hu, Hesuan
IEEE ACCESS, 2021, 9 : 92586 - 92599
[30] A Verified Algorithm Enumerating Event Structures
Bowles, Juliana
Caminati, Marco B.
INTELLIGENT COMPUTER MATHEMATICS, 2017, 10383 : 239 - 254

← 1 2 3 4 5 →