This book introduces the reader to the principles used in the construction of a large range of modern data communication prools. The approach we take is rather a formal one, primarily based on descriptions of prools in the notation of CSP. This not only enables us to describe prools in a concise manner, but also to reason about many of their interesting properties and formally to prove certain aspects of their correctness with respect to appropriate specifications. Only after considering the main principles do we go on to consider actual prools where these principles are exploited. This is a completely new edition of a book which was first published in 1994, where the main focus of many international efforts to develop data communication systems was on OSI – Open Systems Interconnection – the standardised archit- ture for communication systems developed within the International Organisation for Standardization, ISO. In the intervening 13 years, many of the specific prools - veloped as part of the OSI initiative have fallen into disuse. However, the terms and concepts introduced in the OSI Reference Model are still essential for a systematic and consistent analysis of data communication systems, and OSI terms are therefore used throughout. There are three significant changes in this second edition of the book which particularly reffect recent developments in computer networks and distributed systems.
1101510599
Principles of Protocol Design
This book introduces the reader to the principles used in the construction of a large range of modern data communication prools. The approach we take is rather a formal one, primarily based on descriptions of prools in the notation of CSP. This not only enables us to describe prools in a concise manner, but also to reason about many of their interesting properties and formally to prove certain aspects of their correctness with respect to appropriate specifications. Only after considering the main principles do we go on to consider actual prools where these principles are exploited. This is a completely new edition of a book which was first published in 1994, where the main focus of many international efforts to develop data communication systems was on OSI – Open Systems Interconnection – the standardised archit- ture for communication systems developed within the International Organisation for Standardization, ISO. In the intervening 13 years, many of the specific prools - veloped as part of the OSI initiative have fallen into disuse. However, the terms and concepts introduced in the OSI Reference Model are still essential for a systematic and consistent analysis of data communication systems, and OSI terms are therefore used throughout. There are three significant changes in this second edition of the book which particularly reffect recent developments in computer networks and distributed systems.
179.99
In Stock
5
1
Principles of Protocol Design
402
Principles of Protocol Design
402Paperback(Softcover reprint of hardcover 1st ed. 2008)
$179.99
179.99
In Stock
Product Details
| ISBN-13: | 9783642096280 |
|---|---|
| Publisher: | Springer Berlin Heidelberg |
| Publication date: | 11/19/2010 |
| Edition description: | Softcover reprint of hardcover 1st ed. 2008 |
| Pages: | 402 |
| Product dimensions: | 6.10(w) x 9.25(h) x 0.24(d) |
From the B&N Reads Blog