Abstract Algorithms

---

Table of Contents

• Abstract Communication
• Bakery
  • Partially-Ordered Runs and Bakery
  • Real-Time Refinements
• Constrained Shortest Path
• Termination Detection