Circular causality in event structures
BARTOLETTI, MASSIMO;CIMOLI, TIZIANA;PINNA, GIOVANNI MICHELE;
2014-01-01
Abstract
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.File | Size | Format | |
---|---|---|---|
ces-long.pdf Solo gestori archivio
Description: Articolo principale
Type: versione pre-print
Size 543.84 kB
Format Adobe PDF
|
543.84 kB | Adobe PDF | & nbsp; View / Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.