Computer science/Algorithms/Concurrent

Subject Classification

ACM: Theory of computation~Concurrent algorithms

AMS: Computer science / Algorithms in computer science / Parallel algorithms in computer science

2025

Rely-Guarantee Extensions and Locks

by Robert J. Colvin, Scott Heiner, Peter Höfner and Roger C. Su

Nov 21

2015

Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO

by Peter Gammie, Tony Hosking and Kai Engelhardt

Apr 13