Barwell, Adam David ; Hou, Ping ; Yoshida, Nobuko. Barwell , A D , Hou , P , Yoshida , N & Zhou , F 2023 , ' Designing asynchronous multiparty protocols with crash-stop failures ' , Paper presented at 37th European Conference on Object-Oriented Programming , Seattle , United States , 17/07/23 - 21/07/23 pp. 1:1-1:30 . https://doi.org/10.4230/LIPIcs.ECOOP.2023.1.
,
2023