| Original language | Undefined/Unknown |
|---|---|
| Volume | abs/2106.15554 |
| State | Published - 2021 |
Publication series
| Name | CoRR |
|---|
Linearizable Implementations Suffice for Termination of Randomized Concurrent Programs
Hagit Attiya, Constantin Enea, Jennifer L. Welch
Research output: Other contribution