[PRL] Honesty by Typing. (arXiv:1211.2609v1 [cs.PL])

Mitch mwand1 at gmail.com
Tue Nov 13 07:32:45 EST 2012


Unread but sounded interesting. --Mitch

Sent to you by Mitch via Google Reader: Honesty by Typing.
(arXiv:1211.2609v1 [cs.PL]) via cs.PL updates on arXiv.org by <a
href="http://arxiv.org/find/cs/1/au:+Bartoletti_M/0/1/0/all/0/1">Massimo
Bartoletti</a>, <a
href="http://arxiv.org/find/cs/1/au:+Scalas_A/0/1/0/all/0/1">Alceste
Scalas</a>, <a
href="http://arxiv.org/find/cs/1/au:+Tuosto_E/0/1/0/all/0/1">Emilio
Tuosto</a>, <a
href="http://arxiv.org/find/cs/1/au:+Zunino_R/0/1/0/all/0/1">Roberto
Zunino</a> on 11/12/12

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.

Things you can do from here:
- Subscribe to cs.PL updates on arXiv.org using Google Reader
- Get started using Google Reader to easily keep up with all your
favorite sites
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the PRL mailing list