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

lmcs:2619 - Logical Methods in Computer Science, April 27, 2017, Volume 12, Issue 4 - https://doi.org/10.2168/LMCS-12(4:7)2016
Honesty by Typing

Authors: Massimo Bartoletti ORCID-iD; Alceste Scalas ORCID-iD; Emilio Tuosto ; Roberto Zunino

    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.


    Volume: Volume 12, Issue 4
    Published on: April 27, 2017
    Accepted on: December 28, 2016
    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
    Fundings :
      Source : OpenAIRE Research Graph
    • Mobility between Europe and Argentina applying Logics to Systems; Funder: European Commission; Code: 295261

    Linked data

    Source : ScholeXplorer IsReferencedBy DOI 10.1007/978-3-030-21759-4_8
    • 10.1007/978-3-030-21759-4_8
    • 10.1007/978-3-030-21759-4_8
    Declarative Choreographies and Liveness
    Hildebrandt, Thomas T. ; Slaats, Tijs ; López, Hugo A. ; Debois, Søren ; Carbone, Marco ;

    5 Documents citing this article

    Share

    Consultation statistics

    This page has been seen 737 times.
    This article's PDF has been downloaded 353 times.