@misc{indiciaebaa94b3d43dd,
  title = {Verifying Randomized Consensus Protocols with Common Coins},
  author = {Song Gao and Bohua Zhan and Zhilin Wu and Lijun Zhang},
  year = {2024},
  doi = {10.1109/dsn58291.2024.00047},
  url = {https://arxiv.org/abs/2409.17627},
  note = {Source identifier: 2409.17627}
}