Aarhus University Seal / Aarhus Universitets segl

ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity

Research output: Working paper/Preprint Working paperResearchpeer-review

  • Dan Frumin, Radboud University
  • ,
  • Robbert Krebbers, Delft University of Technology
  • ,
  • Lars Birkedal
Original languageEnglish
PublisherarXiv.org
Number of pages55
Publication statusPublished - 2020

See relations at Aarhus University Citationformats

ID: 202462123