Deadlock-free asynchronous message reordering in Rust with multiparty session types. Zak Cutner, Nobuko Yoshida, and Martin Vassor. PPoPP ’2022. 2022 shelley2024-07-26T09:03:54+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts ExpoSE: practical symbolic execution of standalone JavaScript. ExpoSE: practical symbolic execution of standalone JavaScript. Blockchain Superoptimizer. Blockchain Superoptimizer. A Key-Value store for Ocaml. A Key-Value store for Ocaml. PrideMM: A Solver for Relaxed Memory Models. PrideMM: A Solver for Relaxed Memory Models.
by