Kai Pischke : Publications

Click here to download all publications in a single bibtex file

@misc{pischke2026topdownbottomupsound,
  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",
}