News‎ > ‎

Honesty by Typing

posted Mar 19, 2013, 1:29 PM by Massimo Bartoletti   [ updated Mar 19, 2013, 1:29 PM ]
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
Comments