In this paper we present a fairly complex example of how the social model for agent conversations based on social commitments we have developed in the past formally supports the implementation of conversations for the Contract Net Protocol.
['Roberto A. Flores', 'Robert C. Kremer']
Formal Conversations for the Contract Net Protocol