conftrace_

protocol synthesis

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

commitment protocol (2) decentralized enactment (2) multi-agent system (2) information protocol (1) commitment alignment (1) commitment-based specification (1) protocol generation (1) decentralized system (1) communication protocol (1) formal verification (1)

Papers

Clouseau: Generating Communication Protocols from Commitments AAAI 2020 Tosca: Operationalizing Commitments Over Information Protocols IJCAI 2017