8 citations · 10 across the 4 of their papers we have counts for
1 paper · 1 filter
Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee
We present a lightweight approach to Hoare-style specifications for fine-grained concurrency, based on a notion of time-stamped histories that abstractly capture atomic changes in…