We propose a model of events with circular causality, in the form of a conservative exten- sion 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.
Titolo: | Circular causality in event structures |
Autori: | Massimo, Bartoletti; Tiziana, Cimoli; G., Michele Pinna; Zunino, Roberto |
Autori Unitn: | |
Titolo del periodico: | FUNDAMENTA INFORMATICAE |
Anno di pubblicazione: | 2014 |
Numero e parte del fascicolo: | 3-4 |
Codice identificativo Scopus: | 2-s2.0-84912107554 |
Codice identificativo ISI: | WOS:000345457500002 |
Digital Object Identifier (DOI): | http://dx.doi.org/10.3233/FI-2014-1101 |
Handle: | http://hdl.handle.net/11572/98833 |
Appare nelle tipologie: | 03.1 Articolo su rivista (Journal article) |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
FI-2012.pdf | Post-print referato (Refereed author’s manuscript) | Tutti i diritti riservati (All rights reserved) | Administrator |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione