Nobuko Yoshida : Publications

Conference papers

• [1]

  Top−down = Bottom−up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols

  Kai Pischke and Nobuko Yoshida

  2026.

  Details about Top−down = Bottom−up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols | BibTeX data for Top−down = Bottom−up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols