3 citations · 3 across the 1 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…