Protocols by Invariants

Name: Protocols by Invariants
Price: 52.28 USD
Availability: InStock
ISBN: 9780521607551

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

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $52.28

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

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…

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




Introduction



Link-level protocols



Minimum-hop route maintenance



Connection-management protocols



Commit protocols