@inproceedings{https://doi.org/10.4230/lipics.ecoop.2025.4,
  doi = {10.4230/LIPICS.ECOOP.2025.4},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.4},
  author = {Borrego, Dina and Preguiça, Nuno and Gonzalez Boix, Elisa and Ferreira, Carla},
  keywords = {distributed systems, conflict resolution, RDTs, invariant preservation, Computing methodologies → Distributed computing methodologies, Software and its engineering → Correctness, Theory of computation → Distributed algorithms, Computer systems organization → Availability},
  language = {en},
  title = {Ensuring Convergence and Invariants Without Coordination},
  journal = {LIPIcs, Volume 333, ECOOP 2025},
  volume = {333},
  pages = {4:1-4:29},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2025},
  copyright = {Creative Commons Attribution 4.0 International license}
}