+612 9045 4394
Protocols by Invariants : Cambridge International Series on Parallel Computation - Anneke A. Schoone

Protocols by Invariants

Cambridge International Series on Parallel Computation


Published: 19th August 2004
RRP $65.95
This title is not in stock at the Booktopia Warehouse and needs to be ordered from our supplier.
Click here to read more about delivery expectations.

Algorithms are a set of rules that specify a sequence of actions to be taken to solve a problem. Distributed algorithms, which are designed to solve many problems at once, are conceptually far more complex than algorithms in a single processing unit environment. When the number of simultaneous events becomes large, human minds cannot keep track of all of them. Naturally, it is necessary to know whether a distributed algorithm will have the desired effect. In this book, Dr. Schoone discusses assertational verification by system-wide invariants for use in verifying the behavior of distributed algorithms. The approach is entirely pragmatic; the author considers many different examples, over a wide range of algorithms and protocols. This volume will be an essential purchase for all those with an interest in distributed algorithms.

Introductionp. 1
Link-level protocolsp. 30
Minimum-hop route maintenancep. 74
Connection-management protocolsp. 112
Commit protocolsp. 159
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9780521607551
ISBN-10: 0521607558
Series: Cambridge International Series on Parallel Computation
Audience: Professional
Format: Paperback
Language: English
Number Of Pages: 208
Published: 19th August 2004
Publisher: Cambridge University Press
Country of Publication: GB
Dimensions (cm): 24.7 x 17.4  x 1.1
Weight (kg): 0.38