1. Barwell, A.D., Scalas, A., Yoshida, N., Zhou, F.: Generalised multiparty session types with crash-stop failures. In: CONCUR 2022, volume 243 of LIPIcs, pp. 1–25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
2. Lecture Notes in Computer Science;L Bettini,2008
3. Chen, R., Balzer, S., Toninho, B.: Ferrite: a judgmental embedding of session types in Rust. In: ECOOP 2022, volume 222 of LIPIcs, pp. 1–28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)
4. Lecture Notes in Computer Science;M Dezani-Ciancaglini,2008
5. Deniélou, P.-M., Yoshida, N.: Dynamic multirole session types. In: POPL 2011, pp. 435–446. ACM (2011)