14 citations · 25 across the 12 of their papers we have counts for
1 paper · 1 filter
Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan +1
Analyzing a distributed computation is a hard problem in general due to the combinatorial explosion in the size of the state-space with the number of processes in the system. By ab…