Examples
- Cycle Detection in Linked List
- Die Hard
- EWD426 Token Ring
- Two Phase Commit
- Two Phase Commit (Procedural)
- Two Phase Commit (Actor model/Object oriented)
- Raft Consensus Protocol
- Raft Consensus Protocol - FizzBee Specification for Reasoning
- Knuth-Yao Sampling Algorithm for Random Variate Generation
- Time oblivious Sampling Algorithm for Random Variate Generation