Andere Kunden interessierten sich auch für
![Algebraic Specification of Communication Protocols]( "Algebraic Specification of Communication Protocols")
Algebraic Specification of Communication Protocols67,99 €![Formal Models and Techniques for Analyzing Security Protocols]( "Formal Models and Techniques for Analyzing Security Protocols")
Formal Models and Techniques for Analyzing Security Protocols106,99 €![Formal Methods in Human-Computer Interaction]( "Formal Methods in Human-Computer Interaction")
Formal Methods in Human-Computer Interaction68,99 €![Modernism and the Culture of Market Society]( "Modernism and the Culture of Market Society")
Modernism and the Culture of Market Society41,99 €![Philosophical History and the Problem of Consciousness]( "Philosophical History and the Problem of Consciousness")
Philosophical History and the Problem of Consciousness51,99 €![Lambda-Calculus, Combinators and Functional Programming]( "Lambda-Calculus, Combinators and Functional Programming")
Lambda-Calculus, Combinators and Functional Programming63,99 €![Nonmonotonic Reasoning]( "Nonmonotonic Reasoning")
Nonmonotonic Reasoning55,99 €
Collection of protocols for distributed and parallel computing, with applications.
When 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.
Table of content:
1. Introduction; 2. Link-level protocols; 3. Minimum-hop route maintenance; 4. Connection-management protocols; 5. Commit protocols; Bibliography; Index.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
When 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.
Table of content:
1. Introduction; 2. Link-level protocols; 3. Minimum-hop route maintenance; 4. Connection-management protocols; 5. Commit protocols; Bibliography; Index.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.