SmartSys WorkGroup will deliver a series of tutorial about proof-based strategies for distributed consensus, which have been widely used in peer-to-peer networks, focusing on fundamental thoeries and algorithms. The tutorials will give the modeling of these typical strategies and discuss their solving characteristics according to the algorithm mechanism and principle. Related results can be used in quantitative analysis and evaluation for distributed consensus on the model basis.

For more details, please subscribe or follow the messages in the group.