Distributed Computing

Exploring Gafni's Reduction Land: From ? k to Wait-Free Adaptive -Renaming Via k-Set Agreement.- Exploring Gafni's Reduction Land: From ? k to Wait-Free Adaptive -Renaming Via k-Set Agreement.- Renaming in Message Passing Systems with Byzantine Failures.- Built-In Coloring for Highly-Concurrent Doubly-Linked Lists.- Fault-Tolerant and Self-stabilizing Mobile Robots Gathering.- Fast Computation by Population Protocols with a Leader.- On Self-stabilizing Search Trees.- Efficient Dynamic Aggregation.- Groupings and Pairings in Anonymous Networks.- A New Proof of the GHS Minimum Spanning Tree Algorithm.- A Knowledge-Based Analysis of Global Function Computation.- Checking a Multithreaded Algorithm with ?+?CAL.- Capturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium Architecture.- Conflict Detection and Validation Strategies for Software Transactional Memory.- Transactional Locking II.- Less Is More: Consensus Gaps Between Restricted and Unrestricted Objects.- One-Step Consensus Solvability.- Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols.- On Consistency of Encrypted Files.- Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data.- A Lazy Snapshot Algorithm with Eager Validation.- Bounded Wait-Free f-Resilient Atomic Byzantine Data Storage Systems for an Unbounded Number of Clients.- Time and Communication Efficient Consensus for Crash Failures.- Subconsensus Tasks: Renaming Is Weaker Than Set Agreement.- Exact Distance Labelings Yield Additive-Stretch Compact Routing Schemes.- A Fast Distributed Approximation Algorithm for Minimum Spanning Trees.- On Randomized Broadcasting in Power Law Networks.- Distributed Approximation Algorithms in Unit-Disk Graphs.- The Weakest Failure Detectors to Boost Obstruction-Freedom.- Fully-Adaptive Algorithms for Long-Lived Renaming.- Constructing Shared Objects That Are Both Robust and High-Throughput.- Byzantine and Multi-writer K-Quorums.- On