Distributed simulation of coloring graph vertices | IEEE Conference Publication | IEEE Xplore