{"product_id":"protocols-by-invariants-9780521607551","title":"Protocols by Invariants","description":"\u003cp\u003e • Author(s): A. A. Schoone | Anneke A. Schoone | Schoone Anneke a.\u003cbr\u003e • Publisher: Cambridge University Press\u003cbr\u003e • Publisher Imprint: Cambridge University Press\u003cbr\u003e • BISAC: Languages - General\u003c\/p\u003e\u003cp\u003eAlgorithms 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.\u003c\/p\u003e","brand":"Cambridge University Press","offers":[{"title":"Paperback","offer_id":46896141041815,"sku":"9780521607551","price":5991.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780521607551.webp?v=1770356994","url":"https:\/\/atlanticbooks.com\/products\/protocols-by-invariants-9780521607551","provider":"Atlantic Books","version":"1.0","type":"link"}