@misc{indiciaeac261e6c366f,
  title = {Mending Fences with Self-Invalidation and Self-Downgrade},
  author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Stefanos Kaxiras and Carl Leonardsson and Alberto Ros and Yunyun Zhu},
  year = {2018},
  doi = {10.23638/lmcs-14(1:6)2018},
  url = {https://arxiv.org/abs/1611.07372},
  note = {Source identifier: 1611.07372}
}