conftrace_

protocol verification

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

asynchronous communication (2) multi-agent system (2) declarative semantics (1) multi-agent communication (1) causality constraint (1) interaction protocol (1) requirement pattern (1) bgp protocol (1) route map (1) inference rule (1)

Papers

Requirement Patterns for Engineering Multiagent Interaction Protocols IJCAI 2025 MESSI: Behavioral Testing of BGP Implementations NSDI 2024 Tango: Declarative Semantics for Multiagent Communication Protocols IJCAI 2021