22 citations · 44 across the 15 of their papers we have counts for
1 paper · 1 filter
Ian J. Hayes, Robert Colvin, Larissa Meinicke +2
This research started with an algebra for reasoning about rely/guarantee concurrency for a shared memory model. The approach taken led to a more abstract algebra of atomic steps, i…