BibTex format
@inproceedings{Barwell:2022:10.4230/LIPIcs.CONCUR.2022.35,
author = {Barwell, A and Scalas, A and Yoshida, N and Zhou, F},
doi = {10.4230/LIPIcs.CONCUR.2022.35},
pages = {35:1--35:25},
publisher = {Schloss Dagstuhl},
title = {Generalised multiparty session types with crash-stop failures},
url = {http://dx.doi.org/10.4230/LIPIcs.CONCUR.2022.35},
year = {2022}
}