research
∙
06/15/2023
Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms
A heterogeneous swarm system is a distributed system where participants ...
share
research
∙
05/08/2023
Behavioural Types for Local-First Software
Peer-to-peer systems are the most resilient form of distributed computin...
research
∙
06/07/2018
