Mending fences with self-invalidation and self-downgrade
- Abdulla, P.A.
- Atig, M.F.
- Kaxiras, S.
- Leonardsson, C.
- Ros, A.
- Zhu, Y.
Zeitschrift:
Logical Methods in Computer Science
ISSN: 1860-5974
Datum der Publikation: 2018
Ausgabe: 14
Nummer: 1
Art: Artikel