2013
Paolo Di Giamberardino, Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino
in proceedings of 6th Interaction and Concurrency Experience (ICE 2013)
Abstract
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.
Download: logicagreement.pdf
BibTeX