Examples
For shorter, runnable models of common patterns (locks, sagas, queues, caches), see the Distributed Systems Patterns library.
- 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