Nuprl Definition : mu_ex_v6_handleLeaveCS

mu_ex_v6_handleLeaveCS(proc1;proc2) ==
  loc,zh,z.
   let interested,token,toreply = z in 
   if toreply  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,  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_handleLeaveCS
mu\_ex\_v6\_handleLeaveCS(proc1;proc2)  ==
    \mlambda{}loc,zh,z.
      let  interested,token,toreply  =  z  in 
      if  toreply  \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_11_29
Last ObjectModification: 2012_02_02-PM-03_07_16

Home Index