conftrace_

decentralized enactment

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

commitment protocol (2) protocol synthesis (2) multi-agent system (2) commitment-based specification (1) protocol generation (1) information protocol (1) commitment alignment (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