Computing on Anonymous Networks: Part I-Characterizing the Solvable Cases
IEEE Transactions on Parallel and Distributed Systems
Verification of randomized distributed algorithms
Lectures on formal methods and performance analysis
Naming symmetric processes using shared variables
Distributed Computing
Dense subgraphs on dynamic networks
DISC'12 Proceedings of the 26th international conference on Distributed Computing
Hi-index | 0.00 |