3 papers
cs.DC2026
Compositional Design, Implementation, and Verification of Swarms (Technical Report)
Florian Furbach, Lucas Clorius, Roland Kuhn +3
Swarm protocols are a recently introduced formalism for specifying, implementing, and verifying peer-to-peer systems called swarms. A swarm consists of distributed agents called ma…
cs.DC2023
Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms
Roland Kuhn, Alan Darmasaputra
A heterogeneous swarm system is a distributed system where participants come and go, communication topology may change at any time, data replication is asynchronous and partial, an…
cs.DC2023
Behavioural Types for Local-First Software
Roland Kuhn, Hernán Melgratti, Emilio Tuosto
Peer-to-peer systems are the most resilient form of distributed computing, but the design of robust protocols for their coordination is difficult. This makes it hard to specify and…