Verifying Agents’ Conformance with Multiparty Protocols

DOI10.1007/978-3-642-02734-5_3MaRDI QIDQ3393379zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Alberto Martelli, Laura Giordano

Publication date 20 August 2009

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

Full work available at URL https://doi.org/10.1007/978-3-642-02734-5_3

Mathematics Subject Classification ID

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

Recommendations

• Verification of Protocol Conformance and Agent Interoperability
• Computational Logic in Multi-Agent Systems
• Verifiable agent dialogues
• Logics in Artificial Intelligence
• scientific article; zbMATH DE number 2222694

Cites work

• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 1903352 (Why is no real title available?)
• Conversation protocols: a formalism for specification and verification of reactive electronic services
• Dynamic linear time temporal logic
• Logics in Artificial Intelligence
• Specifying and verifying interaction protocols in a temporal action logic
• Tableau-based automata construction for dynamic linear time temporal logic
• Verification from Declarative Specifications Using Logic Programming
• Verification of Protocol Conformance and Agent Interoperability

Cited in

(7)

• Exception diagnosis in multiagent contract executions
• Verifiable agent dialogues
• Specifying and verifying secrecy in workflows with arbitrarily many agents
• Verification of Protocol Conformance and Agent Interoperability
• Computational Logic in Multi-Agent Systems
• Where logic and agents meet
• The meeting businessmen problem: requirements and limitations

This page was built for publication: Verifying Agents’ Conformance with Multiparty Protocols

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3393379)