Nuprl Definition : mu_ex_v5_HandleRequests
mu_ex_v5_HandleRequests(initial_token;proc1;proc2) ==
l.let F = zj,zi,z.
let interested,token,toreply = z in
if (
interested) 
token
then {mu_ex_v5_send_token() (mu_ex_v5_getOtherProc(proc1;proc2) l) 
}
else {}
fi in
F@Loc|Loc,mu_ex_v5_Request(), mu_ex_v5_PrState(initial_token)|
Definitions occuring in Statement :
mu_ex_v5_PrState: mu_ex_v5_PrState(initial_token),
mu_ex_v5_getOtherProc: mu_ex_v5_getOtherProc(proc1;proc2),
mu_ex_v5_send_token: mu_ex_v5_send_token(),
mu_ex_v5_Request: mu_ex_v5_Request(),
concat-lifting-loc-2: f@Loc,
simple-loc-comb-2: F|Loc,X, Y|,
band: p q,
bnot: b,
ifthenelse: if b then t else f fi ,
let: let,
it: ,
spreadn: spread3,
apply: f a,
lambda: x.A[x],
single-bag: {x},
empty-bag: {}
FDL editor aliases :
mu_ex_v5_HandleRequests
mu\_ex\_v5\_HandleRequests(initial$_{token}$;proc1;proc2) ==
\mlambda{}l.let F = \mlambda{}zj,zi,z.
let interested,token,toreply = z in
if (\mneg{}\msubb{}interested) \mwedge{}\msubb{} token
then \{mu\_ex\_v5\_send\_token() (mu\_ex\_v5\_getOtherProc(proc1;proc2) l) \mcdot{}\}
else \{\}
fi in
F@Loc|Loc,mu\_ex\_v5\_Request(), mu\_ex\_v5\_PrState(initial$_{token}$)|
Date html generated:
2012_02_20-PM-06_55_19
Last ObjectModification:
2012_02_02-PM-02_58_46
Home
Index