Designing a Concurrent Finite State Machine

You will implement state transitions that remain valid under concurrent access.