Mixed choice in session types (Information and Computation, 2024)

(untitled) - Peters, K; Yoshida, N