Locally identifying coloring of corona product of graphs | Synapse