Jan 14, 2025
Verifying linearizability for executions of concurrent data structures (eg. stacks, queues and sets).
Feb 15, 2021