@misc{indiciae5d1f236a2027,
  title = {Top-down = Bottom-up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols},
  author = {Kai Pischke and Nobuko Yoshida},
  year = {2026},
  url = {https://arxiv.org/abs/2607.21489},
  note = {Source identifier: 2607.21489}
}