TY - GEN
T1 - Honesty by typing
AU - Bartoletti, Massimo
AU - Scalas, Alceste
AU - Tuosto, Emilio
AU - Zunino, Roberto
PY - 2013/10/9
Y1 - 2013/10/9
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84885004232&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-38592-6_21
DO - 10.1007/978-3-642-38592-6_21
M3 - Conference publication
AN - SCOPUS:84885004232
SN - 9783642385919
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 305
EP - 320
BT - Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on DisCoTec 2013, Proceedings
T2 - Joint IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013
Y2 - 3 June 2013 through 5 June 2013
ER -