conftrace_

interaction protocol

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

multi-agent system (2) requirement pattern (1) formal semantics (1) declarative protocol (1) protocol specification (1) message-oriented protocol (1) declarative protocol language (1) protocol verification (1) asynchronous communication (1) coordination mechanism (1)

Papers

Requirement Patterns for Engineering Multiagent Interaction Protocols IJCAI 2025 Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict IJCAI 2024