| 摘要 |
Protocole à arbre binaire (Figure 6 par exemple) dans lequel, pour tout état donné de l'arbre binaire, l'état suivant est déterminé par l'application de la même logique d'état (Figure 9). Dans la forme préférée d'exécution (Figure 6), l'état suivant du noeud (2), par exemple, est déterminé en fonction de l'existence ou de la réception d'un ou plusieurs messages provenant du noeud (1, 7) dans l'état actuel. Cette logique d'état est appliquée non seulement à travers chaque cycle de traitement, mais également pour déterminer l'état suivant de chaque "cycle" de traitement. Etant donné qu'on utilise toujours la même logique d'état, le concept de "cycle de traitement" est éliminé. Le protocole passe continûment d'un état à l'autre (Figures 1, 4, 6, 7, 8). |
