@misc{indiciae27645cce200c,
  title = {Modelling Distributed Applications with Mixed-Choice Stateful Typestates},
  author = {Francisco Parrinha and João Mota and António Ravara},
  year = {2026},
  doi = {10.4204/eptcs.444.3},
  url = {https://arxiv.org/abs/2604.06874},
  note = {Source identifier: 2604.06874}
}