@misc{indiciaef83dacf7c389,
  title = {Mechanizing Choreographic Programs and Hoare Logic with State Transformers},
  author = {Timon Böhler and Simon Daniel and David Richter and Pascal Weisenburger and Mira Mezini},
  year = {2026},
  url = {https://arxiv.org/abs/2608.16346},
  note = {Source identifier: 2608.16346}
}