A Finite Automata Model for Optimistic Contract Signing Protocols

• 乐观电子合同签订协议的一种有限状态机模型