Mahadevan Venkatraman Munindar P. Singh Verifying Compliance with Commitment Protocols. 217-236 1999 2 Autonomous Agents and Multi-Agent Systems 3 db/journals/aamas/aamas2.html#VenkatramanS99