Bartoletti, Massimo and Scalas, Alceste and Tuosto, Emilio and Zunino, Roberto - Honesty by Typing

lmcs:2619 - Logical Methods in Computer Science, April 27, 2017, Volume 12, Issue 4
Honesty by Typing

Authors: Bartoletti, Massimo and Scalas, Alceste and Tuosto, Emilio and Zunino, Roberto

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.


Source : oai:arXiv.org:1211.2609
DOI : 10.2168/LMCS-12(4:7)2016
Volume: Volume 12, Issue 4
Published on: April 27, 2017
Submitted on: April 2, 2016
Keywords: Computer Science - Programming Languages,D.2.4,D.3.1,D.3.2,F.3.1,F.3.2


Share

Consultation statistics

This page has been seen 251 times.
This article's PDF has been downloaded 87 times.