conftrace_

protocol generation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

commitment-based specification (1) decentralized enactment (1) commitment protocol (1) protocol synthesis (1) decentralized system (1) multi-agent system (1) communication protocol (1) formal verification (1)

Papers

Clouseau: Generating Communication Protocols from Commitments AAAI 2020