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