Nuprl Definition : mu_ex_v6_handleRequest
mu_ex_v6_handleRequest(proc1;proc2) ==
loc,ze,z.
let interested,token,toreply = z in
if (
interested) 
token then {mu_ex_v6_token'send() (mu_ex_v6_getOtherProc(proc1;proc2) loc) 
} else {} fi
Definitions occuring in Statement :
mu_ex_v6_getOtherProc: mu_ex_v6_getOtherProc(proc1;proc2),
band: p q,
bnot: b,
ifthenelse: if b then t else f fi ,
it: ,
spreadn: spread3,
apply: f a,
lambda: x.A[x],
single-bag: {x},
empty-bag: {}
FDL editor aliases :
mu_ex_v6_handleRequest
mu\_ex\_v6\_handleRequest(proc1;proc2) ==
\mlambda{}loc,ze,z.
let interested,token,toreply = z in
if (\mneg{}\msubb{}interested) \mwedge{}\msubb{} token
then \{mu\_ex\_v6\_token'send() (mu\_ex\_v6\_getOtherProc(proc1;proc2) loc) \mcdot{}\}
else \{\}
fi
Date html generated:
2012_02_20-PM-07_10_50
Last ObjectModification:
2012_02_02-PM-03_06_47
Home
Index