Honesty by typing

Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino, Alexandra Silva (Editor)

Research output: Contribution to journalArticle

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.
Original languageEnglish
Pages (from-to)1-58
JournalLogical Methods in Computer Science
Volume12
Issue number4:7
DOIs
Publication statusPublished - 28 Dec 2016

Bibliographical note

©M. Bartoletti, A. Scalas, E. Tuosto, and R. Zunino

CC Creative Commons

Fingerprint Dive into the research topics of 'Honesty by typing'. Together they form a unique fingerprint.

Cite this