Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/37180
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
Links: http://link.springer.com/chapter/10.1007%2F978-3-642-38592-6_21
http://hdl.handle.net/2381/37180
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 http://dx.doi.org/10.1007/978-3-642-38592-6_21
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.