Specifying concurrent programs in separation logic: morphisms and simulations

Aleksandar Nanevski, Anindya Banerjee 0001, Germán Andrés Delbianco, Ignacio Fábregas. Specifying concurrent programs in separation logic: morphisms and simulations. Proceedings of the ACM on Programming Languages, 3(OOPSLA), 2019. [doi]

Abstract

Abstract is missing.