Post date: 12-Feb-2012 22:04:44
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: