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 Sufficient Conditions for Robustness of RDMA Programs. Sufficient Conditions for Robustness of RDMA Programs. Simplifying Imperfect Recall Games. Simplifying Imperfect Recall Games. Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives. Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives. Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata. Accelerating Markov Chain Model Checking: Good-for-Games Meets Unambiguous Automata.
by