En algorithmique distribuée, chaque système peut être représenté par un graphe étiqueté, où les sommets correspondent aux différents terminaux, les arêtes aux liens de communication et les étiquettes associées aux sommets ...