Michel Raynal – Communications of the ACM

Research and Advances Jan 1 2023

Two linearizability-style correctness conditions that can be used to argue safety properties of progressively more concurrent behaviors of objects.

Research and Advances Jan 1 2020

A 50-year history of concurrency.

Computing Applications

Research and Advances Apr 1 1996

Architecture and Hardware

ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.