
Protocols by Invariants
Anneke A. Schoone(Author)
Cambridge University Press
Published on 19. August 2004
Book
Paperback/Softback
208 pages
978-0-521-60755-1 (ISBN)
Description
When several computers have to cooperate to achieve a certain task (i.e. distributed computing) we need 'recipes' (i.e. protocols) to tell them what to do. Unfortunately, human minds are not well suited to keeping track of what might happen given even a very simple protocol. In this book Dr Schoone shows how we can derive properties of those protocols that always hold (i.e. invariants), irrespective of what actually happens in an execution of the protocol. From these invariants the basic attributes of the protocols can be obtained. Each protocol is explained intuitively, proved correct using invariants, and analysed to establish the relation between parameter settings and its essential features. The protocols belong to a wide range of layers in the ISO reference model hierarchy, and include the following: a class of communication protocols that tolerate and correct message loss, duplication, and resequencing; protocols for determining and maintaining routing information, both in a static and a dynamic environment; connection-management protocols; and atomic commitment protocols for use in distributed database management.
More details
Series
Language
English
Place of publication
Cambridge
United Kingdom
Target group
Professional and scholarly
Product notice
Paperback (trade)
Illustrations
Worked examples or Exercises
Dimensions
Height: 246 mm
Width: 189 mm
Thickness: 11 mm
Weight
413 gr
ISBN-13
978-0-521-60755-1 (9780521607551)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions

Anneke A. Schoone
Protocols by Invariants
Book
06/1996
Cambridge University Press
€73.04
Article exhausted; check for reprint
Previous edition

Anneke A. Schoone
Protocols by Invariants
Book
06/1996
Cambridge University Press
€73.04
Article exhausted; check for reprint
Person
Content
1. Introduction; 2. Link-level protocols; 3. Minimum-hop route maintenance; 4. Connection-management protocols; 5. Commit protocols; Bibliography; Index.