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