Multiparty-session-types Coordination for Core Erlang

Lavinia Egidi, Paola Giannini, Lorenzo Ventura

2022

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.

Paper Citation

in Harvard Style

Egidi L., Giannini P. and Ventura L. (2022). Multiparty-session-types Coordination for Core Erlang. In Proceedings of the 17th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-588-3, pages 532-541. DOI: 10.5220/0011316600003266

in Bibtex Style

@conference{icsoft22,
author={Lavinia Egidi and Paola Giannini and Lorenzo Ventura},
title={Multiparty-session-types Coordination for Core Erlang},
booktitle={Proceedings of the 17th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2022},
pages={532-541},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011316600003266},
isbn={978-989-758-588-3},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 17th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - Multiparty-session-types Coordination for Core Erlang
SN - 978-989-758-588-3
AU - Egidi L.
AU - Giannini P.
AU - Ventura L.
PY - 2022
SP - 532
EP - 541
DO - 10.5220/0011316600003266