Formal Modelling of PBFT Consensus Algorithm in Event-B

Figure 2

The normal process of PBFT (The figures and detailed description are in Practical Byzantine Fault Tolerance (OSDI, 1999).)