Parallel Programming, a book by Paul McKenney
paulmck.livejournal.com
paulmck.livejournal.com
http://www.amazon.com/Purely-Functional-Structures-Chris-Oka...
You might have more success finding what you want in HPC literature, or maybe in the Erlang community.
That said, it's a decent book, although not exactly a light read; I did struggle to follow some of the numerous proofs. You'll probably find it easier if you have a CompSci background.