FTMPST: fault-tolerant multiparty session types (Q6828067)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 7788986
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | FTMPST: fault-tolerant multiparty session types |
scientific article; zbMATH DE number 7788986 |
Statements
FTMPST: fault-tolerant multiparty session types (English)
0 references
16 January 2024
0 references
The authors present a fault-tolerant variant of Multi-Party Session Types (MPST) for systems that may suffer from message loss or crash failures. Unreliable communication and weakly reliable branching are implemented. The failure patterns in the semantics allow them to verify algorithms modulo system requirements. Subject reduction and progress are proven and a small but relevant case study is presented.
0 references
multiparty session types
0 references
fault tolerance
0 references
link and crash failures
0 references
