Protocols by Invariants by Anneke A. Schoone
Look inside with Google Book Preview
Protocols by Invariants
By Anneke A. Schoone

Protocols by Invariants

By (author) See other recent books by Anneke A. Schoone
Series edited by W.F. McColl See other recent books by W.F. McColl See other recent books by T.F. Chan
Format: Paperback

Normal Price: $84.95
Your Price: $76.46 AUD, inc. GST
Shipping: $7.95 per order
You Save: $8.50! (10% off normal price)
Plus...earn $3.82 in Boomerang Bucks
Availability: Available Available to Backorder, No Due Date for Supply

Protocols by Invariants by Anneke A. Schoone

Book Description

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.

Buy Protocols by Invariants book by Anneke A. Schoone from Australia's Online Bookstore, Boomerang Books.

Book Details

ISBN: 9780521607551
ISBN-10: 0521607558
Format: Paperback
(247mm x 174mm x 11mm)
Pages: 208
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 19-Aug-2004
Country of Publication: United Kingdom

Other Editions...


» Have you read this book? We'd like to know what you think about it - write a review about Protocols by Invariants book by Anneke A. Schoone and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)

Write a book review

Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by Anneke A. Schoone close
Recent books by W.F. McColl close
Foundations of Parallel Programming by W.F. McColl
Lectures in Parallel Computation by W.F. McColl
Handshake Circuits by W.F. McColl
Protocols by Invariants by W.F. McColl
Recent books by T.F. Chan close
Foundations of Parallel Programming by T.F. Chan
Protocols by Invariants by T.F. Chan
» close