Research Article

Formal Modelling of PBFT Consensus Algorithm in Event-B

Figure 5

The buffers of each node.