Please use this identifier to cite or link to this item:
Title: Honesty by typing
Authors: Bartoletti, M.
Scalas, A.
Tuosto, Emilio
Zunino, R.
First Published: 2013
Presented at: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013.
Publisher: Springer Berlin Heidelberg
Citation: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, 7892 LNCS, pp. 305-320
Abstract: We propose a type system for a calculus of contracting processes. Processes may stipulate contracts, and then either behave honestly, by keeping the promises made, or not. Type safety guarantees that a typeable process is honest - that is, the process abides by the contract it has stipulated in all possible contexts, even those containing dishonest adversaries. © 2013 IFIP International Federation for Information Processing.
DOI Link: 10.1007/978-3-642-38592-6_21
ISSN: 0302-9743
eISSN: 1611-3349
Version: Post-print
Status: Peer-reviewed
Type: Journal Article
Rights: Copyright © 2016, IFIP International Federation for Information Processing. The final publication is available at Springer via
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
1211.2609v2.pdfPost-review (final submitted)487.36 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.