11 citations · 26 across the 10 of their papers we have counts for
1 paper · 1 filter
Christoph Wagner, Uwe Nestmann
Formal reasoning about distributed algorithms (like Consensus) typically requires to analyze global states in a traditional state-based style. This is in contrast to the traditiona…