UNICA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Cagliari dal mese di luglio 2015.
EnglishWe propose a formal theory of contract-based computing. 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.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
| Titolo: | A calculus of Contracting Processes |
| Autori: | |
| Data di pubblicazione: | 2010 |
| Abstract: | We propose a formal theory of contract-based computing. 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. |
| Handle: | http://hdl.handle.net/11584/23189 |
| ISBN: | 978-0-7695-4114-3 |
| Tipologia: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
Copyright © 2018