22 citations · 40 across the 16 of their papers we have counts for
Showing 2016 · cs.LOShow all
3 papers · 2 filters
cs.LO2016★ 22 cited
An algebra of synchronous atomic steps
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…
cs.LO2016★ 1 cited
Generalised rely-guarantee concurrency: An algebraic foundation
Ian J. Hayes
The rely-guarantee technique allows one to reason compositionally about concurrent programs. To handle interference the technique makes use of rely and guarantee conditions, both o…
cs.LO2016★ 1 cited
Possible values: exploring a concept for concurrency
Cliff B. Jones, Ian J. Hayes
An important issue in concurrency is interference. This issue manifests itself in both shared-variable and communication-based concurrency --- this paper focusses on the former cas…