Safety and Liveness of MCS Lock - Layer by Layer
No abstract available.
Related papers
- TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs TOPLAS 2021
- A Process Algebra for Link Layer Protocols ESOP 2019
- Foundational and Compositional Verification of Layered Concurrent Objects ECOOP 2026
- Be my guest: MCS lock now welcomes guests PPoPP 2016
- Layered and object-based game semantics POPL 2022
- Layered Concurrent Programs CAV 2018
- A Distributed Garbage Collector with Diffusion Tree Reorganisation and Mobile Objects ICFP 1998
- High performance locks for multi-level NUMA systems PPoPP 2015