Specifying concurrent programs in separation logic: Morphisms and simulations
- Nanevski, A.
- Banerjee, A.
- Delbianco, G.A.
- Fábregas, I.
Revue:
Proceedings of the ACM on Programming Languages
ISSN: 2475-1421
Année de publication: 2019
Volumen: 3
Número: OOPSLA
Type: Article