Performance modelling of distributed systems

“Quantitative System Performance” by Edward Lazowska
This is a bit dated, but a great resource on Queuing Theory.

Quantitative System Performance
Computer System Analysis Using Queueing Network Models

This text was published by Prentice-Hall, Inc., in 1984. It remains the definitive work on analytic modelling of computer systems. The publisher has returned the copyright to the authors, who make the material available here for viewing or downloading.

Another resource:
The POEMS (Peformance-Oriented End-to-end Modeling System)
project has a good collection of publications on the state-of-the-art but may be too specialized.