8 citations · 10 across the 6 of their papers we have counts for
1 paper · 1 filter
Alkida Balliu, Gianlorenzo D'Angelo, Pierre Fraigniaud +1
In the framework of distributed network computing, it is known that, for every network predicate, each network configuration that satisfies this predicate can be proved using distr…