CINECA IRIS Institutional Research Information System
IRIS è l'Anagrafe della ricerca dell'Università degli Studi di Trento, e ha lo scopo di raccogliere, documentare, conservare e diffondere, anche ad accesso aperto, la produzione scientifica degli autori afferenti all'Università degli Studi di Trento.
EnglishWe 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 |
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11572/98833
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
Copyright © 2020