Distributed Computing 2003: Vol 16 Index

1 Pages·2003·0.1 MB·English

Subject index of volume 16
A-exclusion 75 Distributed sy stems 249. 269 Petri net 21
Action systems 201 ProttK'oI re-synthesis 21
Adaptive mutual exclusion 75 Emulation 37 ProUK'ol specification 21
Agreement 165 Prot(Kol sy nthesis 21
Fast mutual exclusion 75
Alternator 263
Arbiter 219 Fault tolerance 249 Random graphs 279
Aspects 201 Formal specification 201 Randomization 165
Asynchrony 165 Reflection 287
Gossip protrx'ols 49 Reflective middleware 287
Broadcast channels 249 Graph coloring 263 Reflective mixlel 287
By/antine agreement 249 Group mutual exclusion 75 Regular graphs 279
Byzantine fault tolerance 49 Replicated data 49
By/antine faults 37 Impossibility results 121
Incremental modeling 201 Safety properties 269
CliKk synchronization 263 Informative labeling schemes 111 Self-stabilization 263
Compact routing tables 111 Sense of direction 279
Interactive consistency 249
Complexity lower bounds 121 Serv ice specification 21
Concurrent priK'esses 263 JavaRMI 287 Shared memory 37
Consensus 37, 165 Shared-memory systems 75
Critical overview 239 LiK'al spinning 75 Superposition 201
Cryptography 177
Marked graphs 219 Theory of ct)mputation 177
Distance labeling 111 Monitors 269 Theory vs. practice 239
Distributed computing 121.279 Multipr(K'ess synchronization 219 Time complexity 75
Distributed computing theory research 239 Timing-based algorithms 75
Distributed system 21 Nonatomic algorithms 75 TLA 201