Principles Of Protocol Design (Prentice-hall International Series in Computer Science)

Robin Sharp

ISBN 10: 0131821555 ISBN 13: 9780131821552

Publisher: Prentice Hall, 1994

Synopsis

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.

About this title

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)

Edition details

• Publisher: Prentice Hall
• Publication date: 1994
• Language: English
• ISBN 10: 0131821555
• ISBN 13: 9780131821552
• Binding: Textbook Binding
• Number of pages: 288