Generalised multiparty session types with crash-stop failures
Session types enable the specification and verification of communicating systems. However, their theory often assumes that processes never fail. To address this limitation, we present a generalised multiparty session type (MPST) theory with crash-stop failures, where processes can crash arbitrarily....
| Principais autores: | , , , |
|---|---|
| Formato: | Conference item |
| Idioma: | English |
| Publicado em: |
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
2022
|