Gonna throw in one of my own picks for Concurrency, I landed on this book a few months ago called “The Little Book of Semaphores” on synchronization with examples in python: https://greenteapress.com/wp/semaphores/

Operating Systems: Three Easy Pieces, https://pages.cs.wisc.edu/~remzi/OSTEP/

Foundations of Multithreaded, Parallel, and Distributed Programming by Gregory Andrews. All the three paradigms of Concurrency are treated clearly within one pair of covers.

These are some good picks but kind of strange they don’t mention concurrency once on the page.

Slightly left field but Specifying Systems by Lamport?