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 条

[1] DYNAMIC CAUSALITY IN EVENT STRUCTURES
Arbach, Youssef
Karcher, David S.
Peters, Kirstin
Nestmann, Uwe
LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (01)
[2] Conflict vs causality in event structures
Gorla, Daniele
Salvo, Ivano
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2021, 119
[3] Dynamic Causality in Event Structures
Arbach, Youssef
Karcher, David
Peters, Kirstin
Nestmann, Uwe
FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2015, 2015, 9039 : 83 - 97
[4] Conflict vs Causality in Event Structures
Gorla, Daniele
Salvo, Ivano
Piperno, Adolfo
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (300): : 86 - 101
[5] Models of Circular Causality
Bartoletti, Massimo
Cimoli, Tiziana
Pinna, G. Michele
Zunino, Roberto
DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, ICDCIT 2015, 2015, 8956 : 1 - 20
[6] Minimisation of event structures
Baldan, Paolo
Raffaeta, Alessandra
THEORETICAL COMPUTER SCIENCE, 2022, 935 : 174 - 199
[7] Configuration structures, event structures and Petri nets
van Glabbeek, R. J.
Plotkin, G. D.
THEORETICAL COMPUTER SCIENCE, 2009, 410 (41) : 4111 - 4159
[8] Domains and Event Structures for Fusions
Baldan, Paolo
Corradini, Andrea
Gadducci, Fabio
2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
[9] Contracts as games on event structures
Bartoletti, Massimo
Cimoli, Tiziana
Pinna, G. Michele
Zunino, Roberto
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (03) : 399 - 424
[10] Typed event structures and the linear π-calculus
Varacca, Daniele
Yoshida, Nobuko
THEORETICAL COMPUTER SCIENCE, 2010, 411 (19) : 1949 - 1973

← 1 2 3 4 5 →