safetyR(E) preserves Causal(E) memorylessR(E) preserves Causal(E) (ternary) composableR(E) preserves Causal(E) send-enabledR(E) preserves Causal(E) asyncR(E) preserves Causal(E) delayableR(E) preserves Causal(E) 
E:EventStruct. switchable0(E)(Causal(E))| 1 | 1. E: EventStruct safetyR(E) preserves Causal(E) |
| 2 | 1. E: EventStruct memorylessR(E) preserves Causal(E) |
| 3 | 1. E: EventStruct (ternary) composableR(E) preserves Causal(E) |
| 4 | 1. E: EventStruct send-enabledR(E) preserves Causal(E) |
| 5 | 1. E: EventStruct asyncR(E) preserves Causal(E) |
| 6 | 1. E: EventStruct delayableR(E) preserves Causal(E) |
About:
 |  |  |