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