Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
Sensoria Bibliography Site A calculus of contracting processes.
Massimo Bartoletti, Roberto Zunino
abstract:
We propose a formal theory for contract-based computing.
A contract is an agreement stipulated between two
or more parties, which specifies the duties and the rights of the
parties involved therein.
We model contracts as formulae in an intuitionistic logic
extended with a ``contractual'' form of implication.
Decidability holds for our logic:
this allows us to mechanically infer the rights and the duties
deriving from any set of contracts.
We embed our logic in a core calculus of contracting processes,
which combines features from concurrent constraints and calculi
for multiparty sessions, while subsuming several idioms for concurrency.
We then show how to exploit our calculus as a tool for modelling services,
the interaction of which is driven by contracts.
