Commitment Alignment: Semantics, Patterns, And Decision Procedures For Distributed Computing. door Amit Khushwant Chopra & Chad Kidd