A Game-Theoretic Model for Distributed Programming by Contract.

Anders Starcke Henriksen, Tom Hvitved, Andrzej Filinski

Browse the full GI paper archive.