Akin Günay, Michael Winikoff, Pinar Yolum. Commitment Protocol Generation. In Matteo Baldoni, Louise A. Dennis, Viviana Mascardi, Wamberto Vasconcelos, editors, Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. Volume 7784 of Lecture Notes in Computer Science, pages 136-152, Springer, 2012. [doi]
Abstract is missing.