@misc{indiciae5a80f18bdd52,
  title = {Synthesising Asynchronous Automata from Fair Specifications},
  author = {Béatrice Bérard and Benjamin Monmege and B Srivathsan and Arnab Sur},
  year = {2026},
  url = {https://arxiv.org/abs/2504.14623},
  note = {Source identifier: 2504.14623}
}