conftrace_

causality constraint

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

declarative semantics (1) multi-agent communication (1) protocol verification (1) asynchronous communication (1) multi-agent system (1) inference rule (1) communication protocol (1) message passing (1) formal verification (1)

Papers

Tango: Declarative Semantics for Multiagent Communication Protocols IJCAI 2021