research
∙
06/06/2021
Tight Lower Bounds for the RMR Complexity of Recoverable Mutual Exclusion
We present a tight RMR complexity lower bound for the recoverable mutual...
share
research
∙
08/28/2019
Strongly Linearizable Implementations of Snapshots and Other Types
Linearizability is the gold standard of correctness conditions for share...
research
∙
02/11/2019
Efficient Randomized Test-And-Set Implementations
We study randomized test-and-set (TAS) implementations from registers in...
research
∙
10/08/2018
Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion
The notion of an anonymous shared memory (recently introduced in PODC 20...
research
∙
05/13/2018