Content deleted Content added
Fix cite date error |
fixed missing not in Causality definition |
||
Line 73:
* '''Direct Succession: x > y''' if and only if some relation x is directly following by y. In our example, we can consider that '''A > B''', '''A > E.'''
* '''Causality: x → y''' iff x > y and not y > x. In our example, we can consider that '''A → E.'''
* '''Parallel: x || y''' iff x > y and y > x. In our example, we have '''B || C.'''
* '''Choice: x # y''' iff not(x > y) and not(y > x). In our example, we have '''A # D.'''
| |||