@misc{indiciae040be2ec5b60,
  title = {State Complexity of Protocols With Leaders},
  author = {Jérôme Leroux},
  year = {2022},
  url = {https://arxiv.org/abs/2109.15171},
  note = {Source identifier: 2109.15171}
}