22 citations · 22 across the 1 of their papers we have counts for
1 paper
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…