文章基本信息

标题：Honesty by typing
本地全文：下载
作者：Massimo Bartoletti ; Alceste Scalas ; Emilio Tuosto 等
期刊名称：Logical Methods in Computer Science
印刷版ISSN：1860-5974
电子版ISSN：1860-5974
出版年度：2016
卷号：12
期号：4
页码：1
DOI：10.2168/LMCS-12(4:7)2016
出版社：Technical University of Braunschweig
摘要：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.
其他关键词：contract-oriented computing, verification, session types.