Multiparty-session-types Coordination for Core Erlang

Risultato della ricerca: Contributo alla conferenzaContributo in Atti di Convegnopeer review

Abstract

In this paper, we present a formalization of multiparty-session-type coordination for a core subset of Erlang and provide a tool for checking the correctness of a system against the specification of its protocol. In Erlang actors are primitive entities, which communicate only through explicit asynchronous message passing. Our tool ensures that if an Erlang system is well typed, then it does not incur in deadlocks or have actors getting stuck waiting for messages that never arrive; moreover any message that is sent will eventually be read. The tool is based on multiparty session types, a formalism introduced to specify the structure of interactions and to ensure safety properties.
Lingua originaleInglese
Pagine532-541
Numero di pagine10
DOI
Stato di pubblicazionePubblicato - 1 gen 2022
EventoICSOFT 2022 - Lisbona
Durata: 1 gen 2022 → …

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???ICSOFT 2022
CittàLisbona
Periodo1/01/22 → …

Keywords

  • Actor Model
  • Delegation
  • Multiparty Session Types

Fingerprint

Entra nei temi di ricerca di 'Multiparty-session-types Coordination for Core Erlang'. Insieme formano una fingerprint unica.

Cita questo