Talk at Workshop on Contracts and Behavioural Types (CoTiCo), Lucca 3 Feb 2012
What if contracts are violated?
fulfilment of contracts, and realise them (or choose not to).
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