Efficient Linearizability Monitoring for Sets, Stacks, Queues and Priority Queues. - Lee Zheng Han; Umang Mathur 001 (CoRR, 2024)