Tosca: Operationalizing Commitments Over Information Protocols
  The notion of commitment is widely studied as a high-level abstraction for
modeling multiagent interaction. An important challenge is supporting flexible
decentralized enactments of commitment specifications. In this paper, we
combine recent advances on specifying commitments and information protocols.
Specifically, we contribute Tosca, a technique for automatically synthesizing
information protocols from commitment specifications. Our main result is that
the synthesized protocols support commitment alignment, which is the idea that
agents must make compatible inferences about their commitments despite
decentralization.
