Brève description / annotation

Correctness Linearizability Progress Read-Write objects Semantics of Read-Write Objects Basic Register Reductions Timestamp-Based Reductions Optimal Atomic Bit Bounded Atomic Multivalued Register Implementation Snapshot Objects Collects and Snapshots Immediate Snapshot and Iterated Immediate Snapshot Consensus Objects Consensus and Universality Consensus Number and Hierarchy Schedulers Resilience Failure Detectors Adversaries

Détails