Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
SPLASH 2019 (series) / OOPSLA Artifacts /

Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations

FunctionalAvailable
Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas
SPLASH 2019 OOPSLA Artifacts
https://doi.org/10.5281/zenodo.3365991
Aleksandar Nanevski
Aleksandar Nanevski
IMDEA Software Institute
Spain
small-avatar
Anindya Banerjee
IMDEA Software Institute
Germán Andrés Delbianco
Germán Andrés Delbianco
IRIF - Université de Paris
France
small-avatar
Ignacio Fábregas
IMDEA Software Institute