Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol

Figure 2

Communications between signers, third party, and channels.