Producing Compliant Interactions: Conformance, Coverage, and Interoperability
- 1 January 2006
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 1-15
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Contextualizing commitment protocol2006
- An algebra for commitment protocolsAutonomous Agents and Multi-Agent Systems, 2006
- Verification of Protocol Conformance and Agent InteroperabilityLecture Notes in Computer Science, 2006
- Specification and verification of agent interaction protocols in a logic-based system2004
- Nonmonotonic causal theoriesArtificial Intelligence, 2003
- Verifying Compliance with Commitment ProtocolsAutonomous Agents and Multi-Agent Systems, 1999