

















Recoverable Mutual Exclusion
431,-

Principles of Transactional Memory
377,-

Quorum Systems
377,-

Impossibility Results for Distributed Computing
404,-

Decidability of Parameterized Verification
476,-

Distributed Computing Pearls
674,-

Introduction to Distributed Self-Stabilizing Algorithms
674,-

Network Topology and Fault-Tolerant Consensus
674,-

Consistent Distributed Storage
674,-

Recoverable Mutual Exclusion
431,-

Recoverable Mutual Exclusion
431,-

Principles of Transactional Memory
377,-

Quorum Systems
377,-

Impossibility Results for Distributed Computing
404,-

Decidability of Parameterized Verification
476,-

Distributed Computing Pearls
674,-

Introduction to Distributed Self-Stabilizing Algorithms
674,-

Network Topology and Fault-Tolerant Consensus
674,-

Consistent Distributed Storage
674,-

Recoverable Mutual Exclusion
431,-