5 citations · 6 across the 10 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…