Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Aleksandar Nanevski, Anindya Banerjee, German Andres Delbianco, Ignacio Fábregas

Journal title: OOPSLA 2019: International Conference on Object-Oriented Programming Systems, Languages, and Applications

Journal publisher: OOPSLA

Published year: 2019