WIN $150 GIFT VOUCHERS: ALADDIN'S GOLD

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

Euro-Par 2018

Parallel Processing Workshops: Euro-Par...

Gabriele Mencagli

Paperback

$337.95  $270.15

Not in-store but you can order this

ADD +
Protocols by Invariants

Handbook of Distributed Sensor Networks...

Volume II

Marvin Heather

Hardback

$272.95  $218.34

Not in-store but you can order this

ADD +
Protocols by Invariants

Parallel Computing Technologies...

14th International Conference, PaCT...

Victor Malyshkin

Paperback

$168.95  $135.06

Not in-store but you can order this

ADD +
Protocols by Invariants

Parallel Database Techniques

Mahdi Abdelguerfi

Hardback

$172.95 

Not in-store but you can order this

ADD +
Protocols by Invariants

Introduction to Parallel Computing...

Zbigniew J. Czech

Hardback

$136.95 

Not in-store but you can order this

ADD +
Protocols by Invariants

Measuring Organisational Efficiency...

Francisco Parra-Luna

Paperback

$35.95  $30.94

Not in-store but you can order this

ADD +