000 02508nam a22003738i 4500
001 CR9780511663123
003 UkCbUP
005 20200124160236.0
006 m|||||o||d||||||||
007 cr||||||||||||
008 091215s1996||||enk o ||1 0|eng|d
020 _a9780511663123 (ebook)
020 _z9780521441759 (hardback)
020 _z9780521607551 (paperback)
040 _aUkCbUP
_beng
_erda
_cUkCbUP
050 0 0 _aQA76.58
_b.S35 1996
082 0 0 _a004.6/2
_220
100 1 _aSchoone, Anneke A.,
_eauthor.
245 1 0 _aProtocols by invariants /
_cAnneke A. Schoone.
264 1 _aCambridge :
_bCambridge University Press,
_c1996.
300 _a1 online resource (vii, 198 pages) :
_bdigital, PDF file(s).
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aCambridge international series on parallel computation ;
_v7
500 _aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
520 _aWhen 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.
650 0 _aParallel processing (Electronic computers)
650 0 _aElectronic data processing
_xDistributed processing.
650 0 _aComputer network protocols.
776 0 8 _iPrint version:
_z9780521441759
830 0 _aCambridge international series on parallel computation ;
_v7.
856 4 0 _uhttps://doi.org/10.1017/CBO9780511663123
999 _c518097
_d518095