Toward a decidable notion of sequential consistency.

Jesse D. Bingham, Anne Condon, Alan J. Hu

Browse the full SPAA paper archive.