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.
CITATION STYLE
Bartoletti, M., Scalas, A., Tuosto, E., & Zunino, R. (2013). Honesty by typing. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7892 LNCS, pp. 305–320). https://doi.org/10.1007/978-3-642-38592-6_21
Mendeley helps you to discover research relevant for your work.