Skip to content

Protocols by Invariants

Spend $50 to get a free movie!

ISBN-10: 0521607558

ISBN-13: 9780521607551

Edition: 2004

Authors: Anneke A. Schoone, W. F. McColl, T. F. Chan, A. Gottlieb, R. M. Karp

List price: $52.99
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!


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…    
Customers also bought

Book details

List price: $52.99
Copyright year: 2004
Publisher: Cambridge University Press
Publication date: 8/19/2004
Binding: Paperback
Pages: 208
Size: 7.44" wide x 9.65" long x 0.47" tall
Weight: 0.858
Language: English

Link-level protocols
Minimum-hop route maintenance
Connection-management protocols
Commit protocols