Mending fences with self-invalidation and self-downgrade

  1. Abdulla, P.A.
  2. Atig, M.F.
  3. Kaxiras, S.
  4. Leonardsson, C.
  5. Ros, A.
  6. Zhu, Y.
Revista:
Logical Methods in Computer Science

ISSN: 1860-5974

Año de publicación: 2018

Volumen: 14

Número: 1

Tipo: Artículo

DOI: 10.23638/LMCS-14(1:6)2018 GOOGLE SCHOLAR