75 citations · 330 across the 33 of their papers we have counts for
Showing 2012 · cs.PLShow all
2 papers · 2 filters
cs.PL2012★ 7 cited
Honesty by Typing
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto +1
We propose a type system for a calculus of contracting processes. Processes can establish sessions by stipulating contracts, and then can interact either by keeping the promises ma…
cs.PL2012★ 2 cited
On the realizability of contracts in dishonest systems
Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
We develop a theory of contracting systems, where behavioural contracts may be violated by dishonest participants after they have been agreed upon - unlike in traditional approache…