 |
GetTextbooks.co.uk
Compare Prices & Save up to 90% |
|
|
|
| Login | Sign up | My Wish List |
 | | Protocols by Invariants (Cambridge International Series on Parallel Computation) by Anneke A. Schoone ISBN-10: 9780521441759 ISBN-10: 0-521-44175-7 ISBN-13: 9780521441759 ISBN-13: 978-0-521-44175-9 Hardcover 1996-06-28 Cambridge University Press Find Lowest Price |
Editorials | ||
Product Description 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. | ||
Book Description Distributed algorithms are conceptually far more complex than algorithms in the single processing unit environment. When the number of possibilities of what can happen at any one time becomes large, human minds cannot keep track of all of them. Naturally, however, it is necessary to know whether the distributed algorithm in question will have the desired effect. In this book Dr. Schoone discusses assertaional verification by system-wide invariants for verifying the behaviour of distributed algorithms. The approach is entirely pragmatic and many different examples, from a wide range of algorithms and protocols, are considered in detail. This self contained volume will be an essential purchse for all those with an interest in distributed algorithms. | ||