Özgür Kafali, Pinar Yolum. Detecting Exceptions in Commitment Protocols: Discovering Hidden States. In Mehdi Dastani, Amal El Fallah-Seghrouchni, João Leite, Paolo Torroni, editors, Languages, Methodologies, and Development Tools for Multi-Agent Systems, Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers. Volume 6039 of Lecture Notes in Computer Science, pages 112-127, Springer, 2009. [doi]