activity
20112025
most citedReducing Opacity to Linearizability: A Sound and Complete Method

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

collaborators
Showing 2013Show all

1 paper · 1 filter

cs.LO2013

Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools

Alasdair Armstrong, Victor B. F. Gomes, Georg Struth

We provide simple equational principles for deriving rely-guarantee-style inference rules and refinement laws based on idempotent semirings. We link the algebraic layer with concre…