13 citations · 83 across the 26 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.DC2021
Multiagent Transition Systems for Composing Fault-Resilient Protocol Stacks
Ehud Shapiro
We present a novel mathematical framework for the specification and analysis of fault-resilient distributed protocols and their implementations, with the following components: 1. T…
cs.MA2021★ 3 cited
Democratic Forking: Choosing Sides with Social Choice
Ben Abramowitz, Edith Elkind, Davide Grossi +2
Any community in which membership is optional may eventually break apart, or fork. For example, forks may occur in political parties, business partnerships, social groups, cryptocu…