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 ...
Read More
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.
Read Less
Add this copy of Protocols By Invariants: 7 (Cambridge International to cart. $80.93, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2008 by Cambridge University Press.
Add this copy of Protocols by Invariants to cart. $51.09, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2004 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Print on demand Trade paperback (US). Contains: Unspecified. Cambridge International Series on Parallel Computation . Includes unspecified. Intended for professional and scholarly audience.
Add this copy of Protocols by Invariants to cart. $75.53, new condition, Sold by Booksplease rated 3.0 out of 5 stars, ships from Southport, MERSEYSIDE, UNITED KINGDOM, published 2004 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Contains: Unspecified. Cambridge International Series on Parallel Computation . Includes unspecified. Intended for professional and scholarly audience.
Add this copy of Protocols by Invariants to cart. $38.50, like new condition, Sold by Scholars Attic rated 5.0 out of 5 stars, ships from Lake Barrington, IL, UNITED STATES, published 1996 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
NEW BOOK(never opened)/slightly shelf-worn cover-No international shipping available. Sewn binding. Paper over boards. 198 p. Cambridge International Series on Parallel Computation, 7. Audience: General/trade.
Add this copy of Protocols By Invariants (Cambridge International Series to cart. $58.70, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1996 by Cambridge University Press.
Add this copy of Protocols By Invariants to cart. $86.82, like new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 1996 by Cambridge University Press CUP.
