--- abstraction active agents algorithm algorithms amoeba and applications aspect-orientation asynchronous atomic atomicity automated bibtex-import binding broadcast capability chain clearinghouse closure code codes communication communications components computer computer-communication computing concurrency consensus consistency cool copies data database databases decomposition design digital directed disk distributed distributedfilesystems ecoc electronic error-correction exclusion experimentation eye-tracking failure failures fault files ft_architecture ft_principles gaze gaze-tracking graphs group group_communication hub improving inconsistency infinitely information internetwork intervals isis leader local locations locking locus logical machine machine-learning mail malfunction management many measurement memory message-passing middleware mobility models multiprocess mutual names naming network networks network-visible neural-networks objects omtt operating operations optima oracle origin parallelism partitions paxos performance points presentation problems processes programming random reconfiguration redundant register regular reliability replicated retrieval scmvcdata search sequential shared simulation snapshots specification storage strong structures subroutines system systems tarjans theory timestamps tolerance tolerant transactions transitive user vectors verification version webcam