Concurrent graph coloring