Verifying sequential consistency using vector clocks.

Harold W. Cain, Mikko H. Lipasti

Browse the full SPAA paper archive.