News‎ > ‎

What if contracts are violated?

posted Feb 12, 2012, 2:04 PM by Massimo Bartoletti   [ updated Feb 23, 2012, 7:27 AM ]
Talk at Workshop on Contracts and Behavioural Types (CoTiCo), Lucca 3 Feb 2012

What if contracts are violated?

Massimo Bartoletti


Abstract
. We develop a theory of contracting systems, where behavioural contracts may be violated by dishonest participants after they have been agreed upon. A calculus of contracting processes is presented, which combines features from concurrent constraints and calculi for multiparty sessions, while abstracting from the actual model for contracts. Processes may advertise contracts, reach agreements, query the
fulfilment of contracts, and realise them (or choose not to).

References:
Ċ
Massimo Bartoletti,
Feb 12, 2012, 2:04 PM
Comments