Verification of Protocol Conformance and Agent Interoperability

Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti. Verification of Protocol Conformance and Agent Interoperability. In Francesca Toni, Paolo Torroni, editors, Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers. Volume 3900 of Lecture Notes in Computer Science, pages 265-283, Springer, 2005. [doi]

Abstract

Abstract is missing.