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).
Publisher | Springer Verlag |
---|
Number of pages | 412 |
---|
ISBN (Print) | 978-3-540-77540-9 |
---|
Publication status | Published - 2008 |
---|
- Communicating Sequential Processes (CSP)
- Data communication
- Distributed system