[PRL] On the realizability of contracts in dishonest systems. (arXiv:1201.6188v1 [...

[Mitch]

  Sent to you by Mitch via Google Reader: On the realizability of
contracts in dishonest systems. (arXiv:1201.6188v1 [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:+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 1/30/12

We develop a theory of contracting systems, where behavioural contracts
may be violated by dishonest participants after they have been agreed
upon - unlike in traditional approaches based on behavioural types. We
consider the contracts of \cite{CastagnaPadovaniGesbert09toplas}, and
we embed them in a calculus that allows distributed participants to
advertise contracts, reach agreements, query the fulfilment of
contracts, and realise them (or choose not to).

Our contract theory makes explicit who is culpable at each step of a
computation. A participant is honest in a given context S when she is
not culpable in each possible interaction with S. Our main result is a
sufficient criterion for classifying a participant as honest in all
possible contexts.

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