(asyncR(E) 
delayableR(E)) send-enabledR(E)^-1 preserves No-dup-send(E) ((asyncR(E) delayableR(E)) send-enabledR(E)^-1)^* preserves No-dup-send(E)
P:(T
Prop), R:(TTProp). R preserves P 
R^* preserves P| 1 | (asyncR(E) delayableR(E)) send-enabledR(E)^-1 preserves No-dup-send(E) |
About:
 |