2026-08-02T13:59:40Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:18254 2024-03-06T11:05:20Z ddc:004 open_access

Behavioural Types for Local-First Software (Artifact) Kuhn, Roland Melgratti, Hernán Tuosto, Emilio Distributed coordination local-first software behavioural types publish-subscribe asynchronous communication This artifact supports the theory of swarm protocols presented in the related article. Specifically, following the top-down development typical of choreographic approaches, our artifact enables the specification of systems of peers communicating through an event notification mechanism from a global viewpoint which can then be projected to local specifications of peers, rendered as machines. To the best of our knowledge, ours is the first implementation of a behavioural type framework supporting the application of the principles of local-first software for network devices which collaborate on a common task while retaining full autonomy. The artifact can be integrated in the Actyx industrial platform; this proves this work a viable step towards reasoning about local-first and peer-to-peer software systems. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Roland Kuhn and Hernán Melgratti and Emilio Tuosto 2023 Is Part Of DARTS, Volume 9, Issue 2, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.9.2.14 urn:nbn:de:0030-drops-182541 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.14 eng https://creativecommons.org/licenses/by/4.0/legalcode