@misc{indiciae7bb26cd4bba5,
  title = {Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking},
  author = {Shaz Qadeer},
  year = {2001},
  url = {https://arxiv.org/abs/cs/0108016},
  note = {Source identifier: cs/0108016}
}