Introduction.- Simple Lock.- Bounded Buffer.- Message-Passing Services.- Fifo Channels from Unreliable Channels.- Programs, Semantics and Effective Atomicity.- Implements and Compositionality.- SESF for Time-Constrained Programs.- Lock using Peterson's Algorithm.- Lock using the Bakery Algorithm.- Distributed Lock Service.- Distributed Lock using Timestamps.- Channel with Termination Detection Service.- Termination Detection for Diffusing Computations.- Object-Transfer Service.- Object Transfer using Path Reversal.- Distributed Shared Memory Service.- A Single-Copy Distributed Shared Memory.- A Multi-Copy Distributed Shared Memory.- Reliable Transport Service.- Reliable Transport Protocol.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
(nessuna copia disponibile)
Cerca: Inserisci un desiderataNon riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!
Inserisci un desiderata