@misc{indiciae7cab68b87d10, title = {Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report)}, author = {Adam D. Barwell and Alceste Scalas and Nobuko Yoshida and Fangyi Zhou}, year = {2023}, url = {https://arxiv.org/abs/2207.02015}, note = {Source identifier: 2207.02015} }