13 citations · 28 across the 6 of their papers we have counts for
1 paper · 1 filter
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…