Designing asynchronous multiparty protocols with crash-stop failures
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 failures. Yet this is in stark contrast with distributed systems in the real world. To address this limitation, we intro...
Main Authors: | Barwell, A, Hou, P, Yoshida, N, Zhou, F |
---|---|
Format: | Conference item |
Language: | English |
Published: |
Association for Computing Machinery
2023
|
Similar Items
-
Generalised multiparty session types with crash-stop failures
by: Barwell, AD, et al.
Published: (2022) -
Fearless asynchronous communications with timed multiparty session protocols
by: Hou, P, et al.
Published: (2024) -
Precise subtyping for asynchronous multiparty sessions
by: Ghilezan, S, et al.
Published: (2022) -
Deadlock-free asynchronous message reordering in rust with multiparty session types
by: Cutner, Z, et al.
Published: (2022) -
Design-by-contract for flexible multiparty session protocols
by: Gheri, L, et al.
Published: (2022)