38 citations · 73 across the 10 of their papers we have counts for
1 paper · 1 filter
Richard Bornat, Jade Alglave, Matthew Parkinson
We describe a program logic for weak memory (also known as relaxed memory). The logic is based on Hoare logic within a thread, and rely/guarantee between threads. It is presented v…