|
|||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||
ABSTRACT
We identify different levels of conformance to a protocol (weak, exhaustive, and robust conformance) and show how conformance may be either checked a priori or enforced at runtime for a specific class of logic-based agents. REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
INDEX TERMS
Primary Classification:
Collaborative Colleagues:
|
|||||||||||||||||||||||||||||||||||