(asyncR(E) 
delayableR(E)) send-enabledR(E)^-1 = > (asyncR(E) delayableR(E))
send-enabledR(E)^-1 delayableR(E)) send-enabledR(E))^*^-1 y x (((asyncR(E) delayableR(E)) send-enabledR(E)^-1)^*) y
R1,R2:(T
TProp), x,y:T.
R1 = > R2 
(x (R1^*) y) (x (R2^*) y)| 1 | (asyncR(E) delayableR(E)) send-enabledR(E)^-1 = > (asyncR(E) delayableR(E))
send-enabledR(E)^-1 |
About:
 |