30 citations · 98 across the 16 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 7 cited
Contract agreements via logic
Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino +1
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 str…
cs.LO2013★ 7 cited
An event-based model for contracts
Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna +1
We introduce a basic model for contracts. Our model extends event structures with a new relation, which faithfully captures the circular dependencies among contract clauses. We est…