Nobuko Yoshida : Publications

Click here to download all publications in a single bibtex file

@conference{16830,
  title = "Top-down = Bottom-up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols",
  author = "Kai Pischke and Nobuko Yoshida",
  year = "2026",
  journal = "OOPSLA",
}