"Principles of Protocol Design" by Robin Sharp uses CSP to describe how the protocols work:
Out of print I'm afraid, but you can contact Robin to get an update on the new edition (says so on the linked page above).
Good book - it teaches you the basics of what goes into the design of protocols and it is in fact easy to understand since the formal things are described in CSP! ;-)
Alan Grover wrote:
Did you ever stop to think, and forget to start again? - A.A. Milne
You miss 100% of the shots you don't take. - Wayne Gretzky
Quality means doing it right when no one is looking. - Henry Ford