Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella. Verifying Protocol Conformance for Logic-Based Communicating Agents. In João Alexandre Leite, Paolo Torroni, editors, Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers. Volume 3487 of Lecture Notes in Computer Science, pages 196-212, Springer, 2004. [doi]
Abstract is missing.