Report
A Calculus of Contracting Processes
| Τίτλος: | A Calculus of Contracting Processes |
|---|---|
| Συγγραφείς: | Bartoletti, Massimo, Zunino, Roberto |
| Έτος έκδοσης: | 2009 |
| Συλλογή: | University of Trento: unitn.it eprints |
| Θεματικοί όροι: | QA075 Electronic computers. Computer science, QA076.7 Programming Languages - Semantics |
| Περιγραφή: | 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. |
| Τύπος εγγράφου: | report |
| Περιγραφή αρχείου: | application/pdf |
| Γλώσσα: | unknown |
| Relation: | http://eprints.biblio.unitn.it/1679/1/main.pdf; Bartoletti, Massimo and Zunino, Roberto (2009) A Calculus of Contracting Processes. UNSPECIFIED. |
| Διαθεσιμότητα: | http://eprints.biblio.unitn.it/1679/ http://eprints.biblio.unitn.it/1679/1/main.pdf |
| Αριθμός Καταχώρησης: | edsbas.6A474196 |
| Βάση Δεδομένων: | BASE |
| Η περιγραφή δεν είναι διαθέσιμη |