Dès que l'on désire montrer qu'un système concurrent satisfait une propriété de vivacité, il est nécessaire de supposer que l'entrelacement entre les différentes transitions n'est pas tout à fait arbitraire car on peut avoir des exécutions où un processus n'exécute jamais une transition.
Aussi ajoute-t-on une hypothèse d'équité sur les exécutions admises.
Il s'agit d'une restriction sur les séquences infinies de transitions permises.
Inscription à :
Publier les commentaires (Atom)
Aucun commentaire:
Enregistrer un commentaire