|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 6 van 9 gevonden artikelen
| Titel: |
Circular Causality in Event Structures |
| Auteur: |
Bartoletti, Massimo Cimoli, Tiziana Pinna, G. Michele Zunino, Roberto |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 134 (2014) nr. 3-4 pagina's 219-259 |
| Jaar: |
2014-11-24 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 6 van 9 gevonden artikelen
| << vorige | volgende >> |