Search dblp for Publications

export results for "Specifying concurrent programs in separation logic: Morphisms and simulations"

 download as .bib file

@article{DBLP:journals/pacmpl/Nanevski0DF19,
  author    = {Aleksandar Nanevski and
               Anindya Banerjee and
               Germ{\'{a}}n Andr{\'{e}}s Delbianco and
               Ignacio F{\'{a}}bregas},
  title     = {Specifying concurrent programs in separation logic: morphisms and
               simulations},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {3},
  number    = {{OOPSLA}},
  pages     = {161:1--161:30},
  year      = {2019},
  url       = {https://doi.org/10.1145/3360587},
  doi       = {10.1145/3360587},
  timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/Nanevski0DF19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07136,
  author    = {Aleksandar Nanevski and
               Anindya Banerjee and
               Germ{\'{a}}n Andr{\'{e}}s Delbianco and
               Ignacio F{\'{a}}bregas},
  title     = {Specifying Concurrent Programs in Separation Logic: Morphisms and
               Simulations},
  journal   = {CoRR},
  volume    = {abs/1904.07136},
  year      = {2019},
  url       = {http://arxiv.org/abs/1904.07136},
  eprinttype = {arXiv},
  eprint    = {1904.07136},
  timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1904-07136.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics