Content deleted Content added
correct name of author |
|||
Line 24:
Basic ordering relations are determined (<math>\succ_{W}</math> first, the latter three can be constructed therefrom)
* <math>a \succ_W b</math> iff <math>a</math> directly precedes <math>b</math> in some trace
* <math>a\rightarrow_W b</math> iff <math>a\succ_Wb \wedge b\not\succ_Wa</math>
* <math>a\#{}_Wb</math> iff <math>a\not\succ_Wb \wedge b\not\succ_Wa</math>
| |||