conftrace_

declarative protocol language

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

declarative protocol (1) protocol specification (1) message-oriented protocol (1) multi-agent system (1) formal semantics (1) interaction protocol (1) coordination mechanism (1)

Papers

Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict IJCAI 2024