Pinar Yolum Correctness Requirements for Multiagent Commitment Protocols. 955-965 http://dx.doi.org/10.1007/978-3-540-30182-0_96 2004 conf/iscis/2004 ISCIS db/conf/iscis/iscis2004.html#Yolum04