Nuprl Definition : mu_ex_v6_handleToken

mu_ex_v6_handleToken(m1;m2;proc1) ==
  loc,zg,z.
   let interested,token,toreply = z in 
   if interested  (token) then {mu_ex_v6_enterCS'send() (mu_ex_v6_getMachine(m1;m2;proc1) loc) } else {} fi 


Definitions occuring in Statement :  mu_ex_v6_enterCS'send: mu_ex_v6_enterCS'send(),  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_handleToken
mu\_ex\_v6\_handleToken(m1;m2;proc1)  ==
    \mlambda{}loc,zg,z.
      let  interested,token,toreply  =  z  in 
      if  interested  \mwedge{}\msubb{}  (\mneg{}\msubb{}token)
      then  \{mu\_ex\_v6\_enterCS'send()  (mu\_ex\_v6\_getMachine(m1;m2;proc1)  loc)  \mcdot{}\}
      else  \{\}
      fi 


Date html generated: 2012_02_20-PM-07_11_16
Last ObjectModification: 2012_02_02-PM-03_07_07

Home Index