OUR STORE IS CLOSED ON ANZAC DAY: THURSDAY 25 APRIL

Close Notification

Your cart does not contain any items

Protocols by Invariants by Anneke A. Schoone (Universiteit Utrecht, The Netherlands) at Abbey's Bookshop,
Protocols by Invariants
— —
Anneke A. Schoone (Universiteit Utrecht, The Netherlands) W.F. McColl

Protocols by Invariants

Anneke A. Schoone (Universiteit Utrecht, The Netherlands),  W.F. McColl,  T.F. Chan ,  A. Gottlieb

$78.95

Paperback

Not in-store but you can order this
How long will it take?
English
Cambridge University Press
19 August 2004
Networking standards & protocols; Parallel processing
Series: Cambridge International Series on Parallel Computation
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.
By:  
Series edited by:   , , ,
Imprint:   Cambridge University Press
Country of Publication:   United Kingdom
Volume:   7
Dimensions:   Height: 245mm,  Width: 189mm,  Spine: 12mm
Weight:   390g
ISBN:   9780521607551
ISBN 10:   0521607558
Series:   Cambridge International Series on Parallel Computation
Pages:   208
Publication Date:  
Audience:   Professional and scholarly ,  Undergraduate
Format:   Paperback
Publisher's Status:   Active
1. Introduction; 2. Link-level protocols; 3. Minimum-hop route maintenance; 4. Connection-management protocols; 5. Commit protocols; Bibliography; Index.

See Also

Protocols by Invariants

Hacking for Beginners

Mastery Guide to Learn and Practice...

Richard Dorsel

Paperback

$34.95  $31.49

Not in-store but you can order this

ADD +
Protocols by Invariants

IT Networking

A Comprehensive Guide

Christopher Ford

Paperback

$28.95  $26.45

Not in-store but you can order this

ADD +
Protocols by Invariants

IP Communications and Services for...

Johnson I Agbinya

Paperback

$120 

Not in-store but you can order this

ADD +
Protocols by Invariants

Networking for Systems Administrators...

Michael W Lucas

Paperback

$53.95  $45.89

Not in-store but you can order this

ADD +
Protocols by Invariants

Where Cross-Border Payments Fail...

Examining the Friction Facing Global...

Jonathan T Morgan

Paperback

$28.95  $25.73

Not in-store but you can order this

ADD +
Protocols by Invariants

Centrality Measures in Transportation...

Tulsi Bora

Paperback

$73.95  $63.06

Not in-store but you can order this

ADD +