conftrace_

commitment-based specification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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