communication in Rust based on multiparty session types (MPST) [31,16,17]. MPST coordinate interactions through linearly typed channels, where each chan-.
確定! 回上一頁