Посоветуйте хорошие книжки по concurrency

Теоретические основы - смотри Сети Петри. Только врят ли оно тебе поможет :) По жаве - читай JCIP. В ФП - посмотри Haskell CHP.

+1 за JCIP

Книгу Actors in Scala сам не читал, но должна быть по темам (б) и (в). Хотя акторы неплохо описаны в более общей книге Programming in Scala. Еще могу рекомендовать clojure - там STM (software transaction memory). В общем, concurrency бывает разным.

по яве - Java Concurrency in Practice - хорошая книжка (в частности ее рекомендует автор Clojure)

про Clojure можешь почитать вот тут - там есть раздел про разные методы concurrency и соответствующие ссылки

для Haskell - вот это посмотри

«Распределённые системы. Принципы и парадигмы.» Э.Таненбаум, М. ван Стеен.