On the decidability of shared memory consistency verification.

Ali Sezgin, Ganesh Gopalakrishnan

Browse the full MEMOCODE paper archive.