most citedTowards linking correctness conditions for concurrent objects and contextual trace refinement

2 citations · 3 across the 3 of their papers we have counts for

collaborators
Showing cs.DCShow all

1 paper · 1 filter

cs.DC2016

Contextual trace refinement for concurrent objects: Safety and progress

Brijesh Dongol, Lindsay Groves

Correctness of concurrent objects is defined in terms of safety properties such as linearizability, sequential consistency, and quiescent consistency, and progress properties such…