This is a new and updated edition of a book first published in 1994. The book introduces the reader to the principles used in the construction of a large range of modern data communication protocols, as used in distributed computer systems of all kinds. The approach taken is rather a formal one, primarily based on descriptions of the protocols in the notation of CSP (Communicating Sequential Processes).