Circular Causality in Event Structures

Post date: 04-Sep-2012 14:45:41

Upcoming paper (to be presented at ICTCS 2012, Varese, 19-21 Sep 2012)

Circular Causality in Event Structures

M. Bartoletti, T. Cimoli, G.M. Pinna and R. Zunino

Abstract. We propose a model of events with circular causality, in the form of a conservative extension of Winskel's event structures.

We show a correspondence between the configurations in our event structures, and the proofs of a fragment of Propositional Contract Logic.

References.

M. Bartoletti, T. Cimoli, G.M. Pinna and R. Zunino. Circular Causality in Event Structures. In Proc. ICTCS 2012.