Mending fences with self-invalidation and self-downgrade
- Abdulla, P.A.
- Atig, M.F.
- Kaxiras, S.
- Leonardsson, C.
- Ros, A.
- Zhu, Y.
Journal:
Logical Methods in Computer Science
ISSN: 1860-5974
Year of publication: 2018
Volume: 14
Issue: 1
Type: Article