leaderelection_withB_stubborn.strategies 191 Bytes
Newer Older
Christian Müller's avatar
Christian Müller committed
1
2
3
Strategies:
  strategy for B(a1,b1,i1): ∀ n2:T. ((b1 = n2) ∨ ¬ Ile(b1,n2) ∨ ¬ Inext(a1,b1) ∨ ¬ (b1 = i1)) ∧ ∀ n3:T. (¬ Ibtw(b1,i1,n3) ∨ ¬ Ile(i1,n3) ∨ ¬ Inext(a1,b1))