Research Article

Formal Modelling of PBFT Consensus Algorithm in Event-B

Figure 4

The communication between nodes and client.