Verification of Protocol Conformance and Agent Interoperability

DOI10.1007/11750734_15zbMath1236.68245OpenAlexW2160614390MaRDI QIDQ3623976

Alberto Martelli, Cristina Baroglio, Viviana Patti, Matteo Baldoni

Publication date: 28 April 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11750734_15

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Related Items (3)

Strategic Agent Communication: An Argumentation-Driven Approach ⋮ Making Golog Norm Compliant ⋮ Verifying Agents’ Conformance with Multiparty Protocols

This page was built for publication: Verification of Protocol Conformance and Agent Interoperability