Nuprl Definition : nysiad_on_receipt_msg

nysiad_on_receipt_msg(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;senders;tooarcasthdr;mf) ==
  λloc,z. let m,s,d = z in 
         if loc = d
         then nysiad_tooarcast'broadcast(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;...;mf) 
              senders 
              <m, s, d>
         else {}
         fi 


Definitions occuring in Statement :  nysiad_tooarcast'broadcast: nysiad_tooarcast'broadcast(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf),  eq_id: a = b,  ifthenelse: if b then t else f fi ,  spreadn: spread3,  apply: f a,  lambda: λx.A[x],  pair: <a, b>,  empty-bag: {}
FDL editor aliases :  nysiad_on_receipt_msg
Latex:
nysiad\_on\_receipt\_msg(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;...;readyhdr;...;...;mf)  ==
    \mlambda{}loc,z.  let  m,s,d  =  z  in 
                  if  loc  =  d
                  then  nysiad\_tooarcast'broadcast(add2baghdr;addwaitinghdr;adeliverhdr;...;...;...;...;mf) 
                            senders 
                            <m,  s,  d>
                  else  \{\}
                  fi 


Date html generated: 2015_07_23-PM-03_47_43
Last ObjectModification: 2014_08_06-PM-03_35_50

Home Index