Honesty by typing
BARTOLETTI, MASSIMO;SCALAS, ALCESTE;
2016-01-01
Abstract
We propose a type system for a calculus of contracting processes. Processes can establish sessions by stipulating contracts, and then can interact either by keeping the promises made, or not. Type safety guarantees that a typeable process is honest - that is, it abides by the contracts it has stipulated in all possible contexts, even in presence of dishonest adversaries. Type inference is decidable, and it allows to safely approximate the honesty of processes using either synchronous or asynchronous communication.File | Size | Format | |
---|---|---|---|
HbT.pdf Solo gestori archivio
Description: Articolo principale
Type: versione pre-print
Size 698.95 kB
Format Adobe PDF
|
698.95 kB | Adobe PDF | & nbsp; View / Open Request a copy |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.