Behavioural Types for Local-First Software

8 May 2023

Papers citing "Behavioural Types for Local-First Software"

2 / 2 papers shown

Title
Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP Ivan Prokić S. Ghilezan Simona Kasterovic M. Popovic M. Popovic I. Kastelan FedML 82 5 0 26 Jun 2023
Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms Roland Kuhn Alan Darmasaputra 18 0 0 15 Jun 2023