Cantitate/Preț
Produs

Protocols by Invariants

Autor A. A. Schoone, Anneke A. Schoone, Schoone Anneke a.
en Limba Engleză Paperback – 22 mai 2004
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.
Citește tot Restrânge

Preț: 33075 lei

Preț vechi: 41343 lei
-20%

Puncte Express: 496

Carte tipărită la comandă

Livrare economică 17-31 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.

Specificații

ISBN-13: 9780521607551
ISBN-10: 0521607558
Pagini: 208
Ilustrații: 1
Dimensiuni: 189 x 246 x 11 mm
Greutate: 0.41 kg
Ediția:Pbk.
Editura: Cambridge University Press
Locul publicării:Cambridge, United Kingdom

Cuprins

1. Introduction; 2. Link-level protocols; 3. Minimum-hop route maintenance; 4. Connection-management protocols; 5. Commit protocols; Bibliography; Index.

Descriere

Collection of protocols for distributed and parallel computing, with applications.