13 citations · 28 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017
Proceedings 10th Interaction and Concurrency Experience
Massimo Bartoletti, Laura Bocchi, Ludovic Henrio +1
This volume contains the proceedings of ICE 2017, the 10th Interaction and Concurrency Experience, which was held in Neuchâtel, Switzerland on the 21st and 22nd of June 2017 as a s…
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…