Analyzing Contract Robustness through a Model of Commitments

Amit K. Chopra, Nir Oren, Sanjay Modgil, Nirmit Desai, Simon Miles, Michael Luck, Munindar P. Singh. Analyzing Contract Robustness through a Model of Commitments. In Danny Weyns, Marie Pierre Gleizes, editors, Agent-Oriented Software Engineering XI - 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers. Volume 6788 of Lecture Notes in Computer Science, pages 17-36, Springer, 2010. [doi]

Abstract

Abstract is missing.