Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou 0002. Generalised Multiparty Session Types with Crash-Stop Failures. In Bartek Klin, Slawomir Lasota 0001, Anca Muscholl, editors, 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland. Volume 243 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
@inproceedings{BarwellSY022,
title = {Generalised Multiparty Session Types with Crash-Stop Failures},
author = {Adam D. Barwell and Alceste Scalas and Nobuko Yoshida and Fangyi Zhou 0002},
year = {2022},
doi = {10.4230/LIPIcs.CONCUR.2022.35},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.35},
researchr = {https://researchr.org/publication/BarwellSY022},
cites = {0},
citedby = {0},
booktitle = {33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland},
editor = {Bartek Klin and Slawomir Lasota 0001 and Anca Muscholl},
volume = {243},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-246-4},
}