The data structures in that book are also geared towards shared memory; actually, it doesn't cover parallel programming at all, it's just that functional data s

The data structures in that book are also geared towards shared memory; actually, it doesn't cover parallel programming at all, it's just that functional data structures happen to be a good fit for concurrent access in shared memory systems. 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.