1 citations · 1 across the 2 of their papers we have counts for
3 papers
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.…
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
Adam D. Barwell, Ping Hou, Nobuko Yoshida +1
Session types provide a typing discipline for message-passing systems. However, most session type approaches assume an ideal world: one in which everything is reliable and without…
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report)
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida +1
Session types enable the specification and verification of communicating systems. However, their theory often assumes that processes never fail. To address this limitation, we pres…