Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Protocols by Invariants

Protocols by Invariants

Schoone, A. A.
Schoone, Anneke A.
Anneke a., Schoone

Paperback

Series: Cambridge International Parallel Computation, Book 7

General MathematicsNetworkingProgramming

ISBN10: 0521607558
ISBN13: 9780521607551
Publisher: Cambridge University Press
Published: Aug 19 2004
Pages: 208
Weight: 0.84
Height: 0.44 Width: 7.44 Depth: 9.69
Language: English
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.

Also in

Programming

View All