C
ore
to
S
tep
Alternating Bit Protocol
Binary Counter Mod 8
Bounded Buffer
Dining Philosophers
Leader's Election
Mutual Exclusion
Nondeterministic Parallel Buffers
Open Safe
Semaphore
Simple Buffer
Sliding Windows