Post date: 19-Mar-2013 20:29:47
Upcoming paper (to be presented at FMOODS-FORTE 2013, Florence, June 3-6 2013)
Honesty by Typing
M. Bartoletti, A. Scalas, E. Tuosto and R. Zunino
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