

Network Topology and Fault-Tolerant Consensus
674,-

Principles of Transactional Memory
377,-

Quorum Systems
377,-

Decidability of Parameterized Verification
476,-

Distributed Computing Pearls
674,-

Introduction to Distributed Self-Stabilizing Algorithms
674,-

Consistent Distributed Storage
674,-

Recoverable Mutual Exclusion
431,-

Concurrent Crash-Prone Shared Memory Systems
674,-

Secure Multi-Party Computation Against Passive Adversaries
674,-

Network Topology and Fault-Tolerant Consensus
674,-

Principles of Transactional Memory
377,-

Quorum Systems
377,-

Decidability of Parameterized Verification
476,-

Distributed Computing Pearls
674,-

Introduction to Distributed Self-Stabilizing Algorithms
674,-

Consistent Distributed Storage
674,-

Recoverable Mutual Exclusion
431,-

Concurrent Crash-Prone Shared Memory Systems
674,-

Secure Multi-Party Computation Against Passive Adversaries
674,-















