conftrace_

protocol specification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

declarative protocol (1) message-oriented protocol (1) declarative protocol language (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