A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction
No abstract available.
Related papers
- On group mutual exclusion for dynamic systems PPoPP 2021
- Scalable Reader-Writer Synchronization for Shared-Memory Multiprocessors PPoPP 1991
- A First-Come-First-Served Mutual-Exclusion Algorithm with Small Communication Variables TOPLAS 1991
- High Performance Synchronization Algorithms for Multiprogrammed Multiprocessors PPoPP 1995
- Tidex: a mutual exclusion lock PPoPP 2016
- Termination of Probabilistic Concurrent Program TOPLAS 1983
- Hapax Locks: Scalable Value-Based Mutual Exclusion PPoPP 2026
- Reasoning About Nonatomic Operations POPL 1983