News‎ > ‎

Circular Causality in Event Structures

posted Sep 4, 2012, 7:45 AM by Massimo Bartoletti   [ updated Sep 4, 2012, 8:09 AM ]
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.
Ċ
Massimo Bartoletti,
Sep 21, 2012, 5:12 AM
Comments