concurrent-safe-state-machines

Design deterministic state machines that remain correct under concurrent rendering and re-entrancy.