5 citations · 10 across the 8 of their papers we have counts for
1 paper · 1 filter
C. Aiswarya, Benedikt Bollig, Paul Gastin
We introduce an automata-theoretic method for the verification of distributed algorithms running on ring networks. In a distributed algorithm, an arbitrary number of processes coop…