Reading Designing Data-Intensive Applications was great in this same sense. Anything concurrency and distributed was always a mythical black box to me. It turns out, there are no real, all-encompassing solutions to these issues. It’s all trade offs, and each solution has some aspects it can’t help with. Vector clocks (allow ordering but only logically) and CAP (availability vs consistency under network partition) theorem are terms that come to mind.