Programming Distributed Computing Systems こちらもおすすめ

Theory And Practice Of Computation - Proceedings Of Workshop On Computation: Theory And Practice Wctp2013

Models and Analysis for Distributed Systems