Hacker News Reader

http://www.performancemodeling.org

People who take the course by the author at CMU say very good things about the class and the professor.

I love this book but its focus is primarily on practical applications and not as much on mathematical foundations, which was the question, if I read it right.

The book comparable to the mathematical level of CLRS, in my opinion. Which is either an intro book or very dense depending on a person’s math background.

One classic is Kelly: http://www.statslab.cam.ac.uk/~frank/BOOKS/kelly_book.html

But there are probably better books written since I was an undergrad.

Check out Kleinrock's Queueing Systems.