@misc{indiciaedde1e99fc5f2,
  title = {PRDTs: Composable Design and Verification of Consensus Protocols using Replicated Data Types},
  author = {Julian Haas and Ragnar Mogk and Annette Bieniusa and Mira Mezini},
  year = {2026},
  url = {https://arxiv.org/abs/2504.05173},
  note = {Source identifier: 2504.05173}
}