vix.ing · top · new · best · stats · spec

Kai Pischke

  1. Top-down = Bottom-up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols
    2026/07/23 by Kai Pischke, Nobuko Yoshida
    Computer Science · #cs.PL