18 citations · 22 across the 23 of their papers we have counts for
1 paper · 2 filters
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…