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.
"synopsis" may belong to another edition of this title.
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want