Protocols by Invariants
Anneke A. Schoone
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.
Thể loại:
Năm:
2004
Nhà xuát bản:
Cambridge University Press
Ngôn ngữ:
english
Trang:
208
ISBN 10:
0521607558
ISBN 13:
9780521607551
Loạt:
Cambridge International Series on Parallel Computation
File:
PDF, 5.84 MB
IPFS:
,
english, 2004