PPT Slide
- For every tx , tx-1 there is an agentj=1+x mod (2+1) that considers both states possible, not knowing whether his confirmation yx-1 has been received.
- At tx (yx-1 received) he thinks tx-1 (yx-1 not received) possible and vice versa.
- They are equivalent-relations, the arrows in the graph pointing both ways.
Þ t is strongly connected.