TY  - RPRT
TI  - PRDTs: Composable Design and Verification of Consensus Protocols using Replicated Data Types
AU  - Julian Haas
AU  - Ragnar Mogk
AU  - Annette Bieniusa
AU  - Mira Mezini
PY  - 2026
UR  - https://arxiv.org/abs/2504.05173
ID  - 2504.05173
ER  -