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 条

[41] 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,
[42] A counterexample to Thiagarajan's conjecture on regular event structures
Chalopin, Jeremie
Chepoi, Victor
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2020, 113 : 76 - 100
[43] Reduction of event structures under history preserving bisimulation
Armas-Cervantes, Abel
Baldan, Paolo
Garcia-Banuelos, Luciano
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (06) : 1110 - 1130
[44] Approximate trace and singleton failures equivalences for event structures
Li S.-R.
Wang C.
Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China, 2016, 45 (04): : 674 - 683
[45] Reasoning About Promises in Weak Memory Models with Event Structures
Wehrheim, Heike
Bargmann, Lara
Dongol, Brijesh
FORMAL METHODS, FM 2023, 2023, 14000 : 282 - 300
[46] Prime Miner - Process Discovery using Prime Event Structures
Bergenthum, Robin
2019 INTERNATIONAL CONFERENCE ON PROCESS MINING (ICPM 2019), 2019, : 41 - 48
[47] Event Circuit Structures for Deadlock Avoidance in Flexible Manufacturing Systems
Fan, Xing
Hu, Hesuan
Yang, Benyuan
Liu, Yuming
He, Gaoyun
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2023, 20 (01) : 597 - 610
[48] Typed Event Structures and the pi-Calculus Extended Abstract
Varacca, Daniele
Yoshida, Nobuko
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 158 (01) : 373 - 397
[49] MODELING SYSTEMS BY PROBABILISTIC PROCESS ALGEBRA - AN EVENT STRUCTURES APPROACH
JOOSTPIETER, K
LANGERAK, R
LATELLA, D
FORMAL DESCRIPTION TECHNIQUES, VI, 1994, 22 : 253 - 268
[50] Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures
Armas-Cervantes, Abel
Baldan, Paolo
Dumas, Marlon
Garcia-Banuelos, Luciano
BUSINESS PROCESS MANAGEMENT, BPM 2014, 2014, 8659 : 267 - 282

← 1 2 3 4 5 →