2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.LO2016★ 2 cited
Towards linking correctness conditions for concurrent objects and contextual trace refinement
Brijesh Dongol, Lindsay Groves
Correctness conditions for concurrent objects describe how atomicity of an abstract sequential object may be decomposed. Many different concurrent objects and proof methods for the…
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…
cs.LO2015★ 1 cited
Collapsing Threads Safely with Soft Invariants
David Friggens, Lindsay Groves
Canonical abstraction is a static analysis technique that represents states as 3-valued logical structures, and produces finite abstract systems. Despite providing a finite bound,…