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.