Specifying concurrent programs in separation logic: Morphisms and simulations

  1. Nanevski, A.
  2. Banerjee, A.
  3. Delbianco, G.A.
  4. Fábregas, I.
Revista:
Proceedings of the ACM on Programming Languages

ISSN: 2475-1421

Año de publicación: 2019

Volumen: 3

Número: OOPSLA

Tipo: Artículo

DOI: 10.1145/3360587 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus