Nirmit Desai, Zhengang Cheng, Amit K. Chopra, Munindar P. Singh. Toward verification of commitment protocols and their compositions. In Edmund H. Durfee, Makoto Yokoo, Michael N. Huhns, Onn Shehory, editors, 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007. pages 33, IFAAMAS, 2007. [doi]
Abstract is missing.