22 citations · 24 across the 3 of their papers we have counts for
3 papers · 1 filter
A sound and complete definition of linearizability on weak memory models
Graeme Smith, Kirsten Winter, Robert J. Colvin
Linearizability is a widely accepted notion of correctness for concurrent objects. Recent research has investigated redefining linearizability for particular hardware weak memory m…
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
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…
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…