Laura Giordano, Alberto Martelli. Verifying Agents Conformance with Multiparty Protocols. In Michael Fisher, Fariba Sadri, Michael Thielscher, editors, Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers. Volume 5405 of Lecture Notes in Computer Science, pages 17-36, Springer, 2008. [doi]
Abstract is missing.