This repository has some CSP models of consensus machines:
- handover.csp contains the sequential model for the handover (hierarchical consensus) protocol.
- signals.csp contains the distributed model for the handover protocol.
- szme.csp contains the sequential model for Szymanski's algorithm.