| 000 | 00912namuu2200277 a 4500 | |
| 001 | 000045389927 | |
| 005 | 20071017105154 | |
| 008 | 030507s2002 nyua b 001 0 eng d | |
| 010 | ▼a 2002514133 | |
| 015 | ▼a GBA2-51567 | |
| 020 | ▼a 0471036005 | |
| 020 | ▼a 9780471036005 | |
| 035 | ▼a (KERIS)BIB000008701453 | |
| 040 | ▼a UUM ▼c UUM ▼d UKM ▼d DLC ▼d 211009 | |
| 042 | ▼a lccopycat | |
| 050 | 0 0 | ▼a QA76.9.D5 ▼b G388 2002 |
| 082 | 0 4 | ▼a 004.36 ▼2 22 |
| 090 | ▼a 004.36 ▼b G231e | |
| 100 | 1 | ▼a Garg, Vijay K. ▼q (Vijay Kumar) , ▼d 1963-. |
| 245 | 1 0 | ▼a Elements of distributed computing / ▼c Vijay K. Garg. |
| 260 | ▼a New York : ▼b Wiley-Interscience , ▼c 2002 ▼g (2006 printing) | |
| 300 | ▼a xx, 423 p. : ▼b ill. ; ▼c 25 cm. | |
| 504 | ▼a Includes bibliography (p. 403-419) and index. | |
| 650 | 0 | ▼a Electronic data processing ▼x Distributed processing. |
| 945 | ▼a KINS |
Holdings Information
| No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
|---|---|---|---|---|---|---|---|
| No. 1 | Location Science & Engineering Library/Sci-Info(Stacks2)/ | Call Number 004.36 G231e | Accession No. 121156487 | Availability Available | Due Date | Make a Reservation | Service |
Contents information
Table of Contents
Foreword.
Preface.
Introduction.
Model of a Computation.
Logical Clocks.
Verifying Clock Algorithms.
Clocks of Different Dimensions.
Mutual Exclusion: Using Timestamps.
Mutual Exclusion: Tokens and Quorums.
Drinking Philosophers Problem.
Leader Election.
Global State.
Observing Global Predicates.
Observing Conjuctive Predicates.
Channel Predicates.
Termination Detection.
Control of a Distributed Computation.
Causal Message Ordering.
Synchronous and Total Message Ordering.
Computation of a Global Functon.
Repeated Global Computation of a Global Function.
Synchronizers.
Slicers.
Distributed Shared Memory.
Self-Stabilization.
Knowledge and Common Knowledge.
Consensus Under Asynchrony.
Consensus Under Synchrony.
Failure Detectors.
Easy Problems in Asychronous Systems.
Checkpointing for Recovery.
Message Logging for Recovery.
Appendix: Partial Orders.
Bibliography.
Index.
Information Provided By: :
