frumin_krebbers_birkedal_reloc_2021:
  type: article
  title: '{ReLoC} {Reloaded}: {A} {Mechanized} {Relational} {Logic} for {Fine}-{Grained} {Concurrency} and {Logical} {Atomicity}'
  author:
  - Frumin, Dan
  - Krebbers, Robbert
  - Birkedal, Lars
  date: 2021
  serial-number:
    doi: 10.46298/lmcs-17(3:9)2021
  note: Journal version of the LICS 2018 paper. Iris-based relational separation logic for contextual refinement.
  parent:
    type: periodical
    title: Logical Methods in Computer Science
    issue: 3
    volume: 17