{"product_id":"protocols-by-invariants-paperback-9780521607551","title":"Protocols by Invariants (Paperback) 9780521607551","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eProtocols by Invariants\u003c\/font\u003e\u003cbr\u003e\r\n\r\n\r\n\u003c\/p\u003e\n\u003cp\u003e\u003cem\u003eCollection of protocols for distributed and parallel computing, with applications.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eAnneke A. Schoone (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521607551, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePaperback, published 19 August 2004\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e208 pages\u003cbr\u003e24.5 x 18.9 x 1.2 cm, 0.39 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eWhen several computers have to cooperate to achieve a certain task (i.e. distributed computing) we need 'recipes' (i.e. protocols) to tell them what to do. Unfortunately, human minds are not well suited to keeping track of what might happen given even a very simple protocol. In this book Dr Schoone shows how we can derive properties of those protocols that always hold (i.e. invariants), irrespective of what actually happens in an execution of the protocol. From these invariants the basic attributes of the protocols can be obtained. Each protocol is explained intuitively, proved correct using invariants, and analysed to establish the relation between parameter settings and its essential features. The protocols belong to a wide range of layers in the ISO reference model hierarchy, and include the following: a class of communication protocols that tolerate and correct message loss, duplication, and resequencing; protocols for determining and maintaining routing information, both in a static and a dynamic environment; connection-management protocols; and atomic commitment protocols for use in distributed database management.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e1. Introduction\u003cbr\u003e 2. Link-level protocols\u003cbr\u003e 3. Minimum-hop route maintenance\u003cbr\u003e 4. Connection-management protocols\u003cbr\u003e 5. Commit protocols\u003cbr\u003e Bibliography\u003cbr\u003e Index.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Parallel processing [\u003ca title=\"See our other books on Parallel processing\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Parallel%20processing%20%5BUYFP%5D%22\"\u003eUYFP\u003c\/a\u003e], Mathematical theory of computation [\u003ca title=\"See our other books on Mathematical theory of computation\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20theory%20of%20computation%20%5BUYA%5D%22\"\u003eUYA\u003c\/a\u003e], Networking standards \u0026amp; protocols [\u003ca title=\"See our other books on Networking standards \u0026amp; protocols\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Networking%20standards%20\u0026amp;%20protocols%20%5BUTP%5D%22\"\u003eUTP\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":46129236574488,"sku":"9780521607551","price":41.88,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521607551i.jpg?v=1691666414","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/protocols-by-invariants-paperback-9780521607551","provider":"Freshly Printed Books","version":"1.0","type":"link"}