On the realizability of contracts in dishonest systems

Details On the realizability of contracts in dishonest systems On the realizability of contracts in dishonest systems

2012-01-30

arxiv.org/abs/1201.6188v1

Computer Science

Programming Languages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

On the realizability of contracts in dishonest systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On the realizability of contracts in dishonest systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the realizability of contracts in dishonest systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-359452