2 citations · 3 across the 10 of their papers we have counts for
1 paper · 1 filter
Ian J. Hayes, Larissa A. Meinicke, Kirsten Winter +1
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…