| Autor: |
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino |
| Jazyk: |
angličtina |
| Rok vydání: |
2013 |
| Předmět: |
|
| Zdroj: |
Electronic Proceedings in Theoretical Computer Science, Vol 131, Iss Proc. ICE 2013, Pp 5-19 (2013) |
| Druh dokumentu: |
article |
| ISSN: |
2075-2180 |
| DOI: |
10.4204/EPTCS.131.2 |
| Popis: |
We relate two contract models: one based on event structures and game theory, and the other one based on logic. In particular, we show that the notions of agreement and winning strategies in the game-theoretic model are related to that of provability in the logical model. |
| Databáze: |
Directory of Open Access Journals |
| Externí odkaz: |
|
