We propose a type system for a calculus of contracting processes. Processes may stipulate contracts, and then either behave honestly, by keeping the promises made, or not. Type safety guarantees that a typeable process is honest - that is, the process abides by the contract it has stipulated in all possible contexts, even those containing dishonest adversaries.
Honesty by typing
BARTOLETTI, MASSIMO;SCALAS, ALCESTE;
2013-01-01
Abstract
We propose a type system for a calculus of contracting processes. Processes may stipulate contracts, and then either behave honestly, by keeping the promises made, or not. Type safety guarantees that a typeable process is honest - that is, the process abides by the contract it has stipulated in all possible contexts, even those containing dishonest adversaries.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
honesty-by-typing.pdf
accesso aperto
Descrizione: Articolo principale
Tipologia:
versione post-print (AAM)
Dimensione
356.34 kB
Formato
Adobe PDF
|
356.34 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
