Mixed choice in session types - Peters, K; Yoshida, N (Information and Computation, 2024)