conftrace_

declarative protocol

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

protocol specification (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