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

[Matthias Felleisen]

Their notion of 'behavioral contract' is about [non-functional] protocol specifications, quite different from the behavioral contracts of Eiffel and friends. 


On Jan 31, 2012, at 7:58 AM, Mitch wrote:

>  
>  
> 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
>  
>  
> _______________________________________________
> PRL mailing list
> PRL at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/prl

-------------- next part --------------
HTML attachment scrubbed and removed