Tóm tắt

Machine generated contents note: |g1.|tIntroduction -- |g2.|tModelling I: Synchronous Network Model -- |g3.|tLeader Election in a Synchronous Ring -- |g4.|tAlgorithms in General Synchronous Networks -- |g5.|tDistributed Consensus with Link Failures -- |g6.|tDistributed Consensus with Process Failures -- |g7.|tMore Consensus Problems -- |g8.|tModelling II: Asynchronous System Model -- |g9.|tModelling III: Asynchronous Shared Memory Model -- |g10.|tMutual Exclusion -- |g11.|tResource Allocation -- |g12.|tConsensus -- |g13.|tAtomic Objects -- |g14.|tModelling IV: Asynchronous Network Model -- |g15.|tBasic Asynchronous Network Algorithms -- |g16.|tSynchronizers -- |g17.|tShared Memory versus Networks -- |g18.|tLogical Time -- |g19.|tGlobal Snapshots and Stable Properties -- |g20.|tNetwork Resource Allocation -- |g21.|tAsynchronous Networks with Process Failures -- |g22.|tData Link Protocols -- |g23.|tPartially Synchronous System Models -- |g24.|tMutual Exclusion with Partial Synchrony -- |g25.|tConsensus with Partial Synchrony.