Crash-Stop Failures in Asynchronous Multiparty Session Types

Adam D. Barwell, Ping Hou, Nobuko Yoshida +1

Session types provide a typing discipline for message-passing systems. However, their theory often assumes an ideal world: one in which everything is reliable and without failures.…