@inproceedings{nieto-2023-modular,
  doi = {10.4230/LIPICS.ECOOP.2023.22},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.22},
  author = {Nieto, Abel and Daby-Seesaram, Arnaud and Gondelman, Léon and Timany, Amin and Birkedal, Lars},
  keywords = {separation logic, distributed systems, CRDT, replicated data type, formal verification, Theory of computation → Program verification, Theory of computation → Distributed algorithms, Theory of computation → Separation logic},
  language = {en},
  title = {Modular Verification of State-Based CRDTs in Separation Logic},
  volume = {263},
  pages = {22:1-22:27},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2023},
  copyright = {Creative Commons Attribution 4.0 International license},
  booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)}
}