1 citations · 2 across the 6 of their papers we have counts for
Showing cs.DCShow all
2 papers · 1 filter
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
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…