Fault-tolerant multiparty session types (Q2165214)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fault-tolerant multiparty session types |
scientific article |
Statements
Fault-tolerant multiparty session types (English)
0 references
FTMPST: Fault-Tolerant Multiparty Session Types (English)
0 references
19 August 2022
0 references
16 January 2024
0 references
multiparty session types
0 references
fault-tolerance
0 references
link and crash failures
0 references
