Two-Phase Commit as FSM

A compact distributed-transactions book for readers who need the exact two-phase commit core: coordinator and participant states, prepare, votes, commit and abort guards, terminal states, fail-closed traces, and recomputed FSM tables.