A Linearizability-based Hierarchy for Concurrent Specifications
Two linearizability-style correctness conditions that can be used to argue safety properties of progressively more concurrent behaviors of objects.
A Linearizability-based Hierarchy for Concurrent Specifications
A Perspective on Theoretical Computer Science in Latin America
A Tour of Dependable Computing Research in Latin America
Mastering Concurrent Computing through Sequential Thinking
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.
Get Involved