Concurrent systems and protocols

Specific concurrent or distributed systems and their verified properties: deadlock and its detection, the banker's algorithm, dining philosophers, and communication protocols such as the alternating-bit protocol and go-back-N.

• Alternating bit protocol
• Banker's algorithm
• Byzantine generals problem
• Chang–Roberts leader election
• Deadlock and circular wait
• Deadlock detection
• Dining philosophers problem
• Go-back-N protocol
• Lamport clocks
• Two-phase commit
• Vector clocks

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.