Modelling Distributed Applications with Mixed-Choice Stateful Typestates. - Francisco Parrinha; João Cesar Moura Mota; António Ravara (CoRR, 2026)