Wireless Communications and Mobile Computing

Research Article

Formal Modelling of PBFT Consensus Algorithm in Event-B

Figure 1

The relationship between machine and contexts.