Verifying Agents’ Conformance with Multiparty Protocols
DOI10.1007/978-3-642-02734-5_3zbMATH Open1250.68267DBLPconf/clima/GiordanoM08OpenAlexW1623929382WikidataQ58207619 ScholiaQ58207619MaRDI QIDQ3393379FDOQ3393379
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
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Conversation protocols: a formalism for specification and verification of reactive electronic services
- Verification from Declarative Specifications Using Logic Programming
- Specifying and verifying interaction protocols in a temporal action logic
- Dynamic linear time temporal logic
- Logics in Artificial Intelligence
- Tableau-based automata construction for dynamic linear time temporal logic
- Title not available (Why is that?)
- Verification of Protocol Conformance and Agent Interoperability
Cited In (7)
- Computational Logic in Multi-Agent Systems
- Specifying and verifying secrecy in workflows with arbitrarily many agents
- The meeting businessmen problem: requirements and limitations
- Verification of Protocol Conformance and Agent Interoperability
- Verifiable agent dialogues
- Exception diagnosis in multiagent contract executions
- Where logic and agents meet
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)
