Programming Distributed Computing Systems: A Foundational Approach
Distributed Algorithms for Message-Passing Systems
Distributed Computing Through Combinatorial Topology
Performance Modeling and Design of Computer Systems: Queueing Theory in Action