Nuprl Definition : mu_ex_v4_P
mu_ex_v4_P(cs;initial_token;proc1;proc2) ==
l.mu_ex_v4_HandleRequests(initial_token;proc1;proc2) l || mu_ex_v4_HandleUseCS(cs;initial_token;proc1;proc2) l
|| mu_ex_v4_HandleToken(cs;initial_token) || mu_ex_v4_HandleLeaveCS(initial_token;proc1;proc2) l
Definitions occuring in Statement :
mu_ex_v4_HandleLeaveCS: mu_ex_v4_HandleLeaveCS(initial_token;proc1;proc2),
mu_ex_v4_HandleToken: mu_ex_v4_HandleToken(cs;initial_token),
mu_ex_v4_HandleUseCS: mu_ex_v4_HandleUseCS(cs;initial_token;proc1;proc2),
mu_ex_v4_HandleRequests: mu_ex_v4_HandleRequests(initial_token;proc1;proc2),
parallel-class: X || Y,
apply: f a,
lambda: x.A[x]
FDL editor aliases :
mu_ex_v4_P
mu\_ex\_v4\_P(cs;initial$_{token}$;proc1;proc2) ==
\mlambda{}l.mu\_ex\_v4\_HandleRequests(initial$_{token}$;proc1;proc2) l
|| mu\_ex\_v4\_HandleUseCS(cs;initial$_{token}$;proc1;proc2) l || mu\_ex\_v4\_Han\000CdleToken(cs;initial$_{token}$)
|| mu\_ex\_v4\_HandleLeaveCS(initial$_{token}$;proc1;proc2) l
Date html generated:
2012_02_20-PM-06_33_09
Last ObjectModification:
2012_02_02-PM-02_54_13
Home
Index