Mending fences with self-invalidation and self-downgrade
- Abdulla, P.A.
- Atig, M.F.
- Kaxiras, S.
- Leonardsson, C.
- Ros, A.
- Zhu, Y.
Revue:
Logical Methods in Computer Science
ISSN: 1860-5974
Année de publication: 2018
Volumen: 14
Número: 1
Type: Article