Robin Sharp Principles of Protocol Design

ISBN 13: 9783540775409

Principles of Protocol Design

3.5 avg rating
( 2 ratings by Goodreads )
 
9783540775409: Principles of Protocol Design
View all copies of this ISBN edition:
 
 

This book introduces the reader to the principles used in the construction of a large range of modern data communication protocols. The approach we take is rather a formal one, primarily based on descriptions of protocols in the notation of CSP. This not only enables us to describe protocols 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 speci?cations. Only after considering the main principles do we go on to consider actual protocols where these principles are exploited. This is a completely new edition of a book which was ?rst 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 speci?c protocols - 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 signi?cant changes in this second edition of the book which p- ticularly re?ect recent developments in computer networks and distributed systems.

"synopsis" may belong to another edition of this title.

From the Back Cover:

Primarily based on descriptions of protocols in the notation of CSP, this book introduces the principles used in the construction of a wide range of modern data communication protocols. Details CSP descriptions and proof rules; protocols and services, protocol mechanisms; and naming, addressing, and routing. For data communication engineers, designers, and technicians.

Review:

From the reviews:

"This book takes an unusual path to describe computer network protocols. ... Robin Sharp starts from formal description techniques. More precisely, he chooses the Communicating Sequential Processes (CSP) notation proposed by Hoare. ... could be of interest to readers who are more interested in the application of formal description techniques to network protocols." (IEEE Network, September/October, 2008)

"The book particularly reflects the recent developments in computer networks and distributed systems with special reference to applications. A number of new protocols are introduced with a focus on their current application, what is good stuff for students and researchers in the area. ... The book could be used for undergraduate third and fourth year courses in computer science and the network area. I am sure that this book will be a valuable asset in the educational and scientific community at large." (Aniket Mahanti, Zentralblatt MATH, Vol. 1142, 2008)

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Robin Sharp
Published by Springer (2008)
ISBN 10: 3540775404 ISBN 13: 9783540775409
New Hardcover Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2008. Hardcover. Condition: New. 2008. Seller Inventory # DADAX3540775404

More information about this seller | Contact this seller

Buy New
US$ 125.11
Convert Currency

Add to Basket

Shipping: US$ 4.99
Within U.S.A.
Destination, Rates & Speeds

2.

Robin Sharp
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2008)
ISBN 10: 3540775404 ISBN 13: 9783540775409
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2008. HRD. Condition: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IP-9783540775409

More information about this seller | Contact this seller

Buy New
US$ 149.58
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

3.

Robin Sharp
Published by Springer 2008-02-01 (2008)
ISBN 10: 3540775404 ISBN 13: 9783540775409
New Quantity Available: 3
Seller:
Chiron Media
(Wallingford, United Kingdom)
Rating
[?]

Book Description Springer 2008-02-01, 2008. Condition: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Seller Inventory # NU-LBR-00467226

More information about this seller | Contact this seller

Buy New
US$ 156.87
Convert Currency

Add to Basket

Shipping: US$ 5.57
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Robin Sharp
Published by Springer Berlin Heidelberg 2008-02-01, Berlin (2008)
ISBN 10: 3540775404 ISBN 13: 9783540775409
New Hardcover Quantity Available: 10
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Springer Berlin Heidelberg 2008-02-01, Berlin, 2008. hardback. Condition: New. Seller Inventory # 9783540775409

More information about this seller | Contact this seller

Buy New
US$ 155.96
Convert Currency

Add to Basket

Shipping: US$ 8.38
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Sharp Robin
Published by Springer
ISBN 10: 3540775404 ISBN 13: 9783540775409
New Quantity Available: 1
Seller:
Majestic Books
(London, ,, United Kingdom)
Rating
[?]

Book Description Springer. Condition: New. pp. xii + 402. Seller Inventory # 7543041

More information about this seller | Contact this seller

Buy New
US$ 159.29
Convert Currency

Add to Basket

Shipping: US$ 7.68
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Sharp, Robin
Published by Springer (2016)
ISBN 10: 3540775404 ISBN 13: 9783540775409
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540775409_lsuk

More information about this seller | Contact this seller

Buy New
US$ 162.28
Convert Currency

Add to Basket

Shipping: US$ 5.39
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

Robin Sharp
Published by Springer (2008)
ISBN 10: 3540775404 ISBN 13: 9783540775409
New Hardcover Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer, 2008. Condition: New. Seller Inventory # L9783540775409

More information about this seller | Contact this seller

Buy New
US$ 164.72
Convert Currency

Add to Basket

Shipping: US$ 3.68
From Germany to U.S.A.
Destination, Rates & Speeds

8.

Robin Sharp
Published by Springer 2008-03-11 (2008)
ISBN 10: 3540775404 ISBN 13: 9783540775409
New Hardcover Quantity Available: 1
Seller:
Lost Books
(AUSTIN, TX, U.S.A.)
Rating
[?]

Book Description Springer 2008-03-11, 2008. Hardcover. Condition: New. 1. 3540775404. Seller Inventory # 673258

More information about this seller | Contact this seller

Buy New
US$ 168.23
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

9.

Robin Sharp
Published by Springer-Verlag Gmbh Feb 2008 (2008)
ISBN 10: 3540775404 ISBN 13: 9783540775409
New Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer-Verlag Gmbh Feb 2008, 2008. Buch. Condition: Neu. Neuware - This book introduces the reader to the principles used in the construction of a large range of modern data communication protocols. The approach we take is rather a formal one, primarily based on descriptions of protocols in the notation of CSP. This not only enables us to describe protocols 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 speci cations. Only after considering the main principles do we go on to consider actual protocols where these principles are exploited. This is a completely new edition of a book which was rst 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 speci c protocols - 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 signi cant changes in this second edition of the book which p- ticularly re ect recent developments in computer networks and distributed systems. 402 pp. Englisch. Seller Inventory # 9783540775409

More information about this seller | Contact this seller

Buy New
US$ 162.58
Convert Currency

Add to Basket

Shipping: US$ 14.86
From Germany to U.S.A.
Destination, Rates & Speeds

10.

ROBIN SHARP
Published by Springer (2008)
ISBN 10: 3540775404 ISBN 13: 9783540775409
New Hardcover Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2008. Hardback. Condition: NEW. 9783540775409 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0344931

More information about this seller | Contact this seller

Buy New
US$ 170.91
Convert Currency

Add to Basket

Shipping: US$ 11.15
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book