Nuprl Definition : nysiad_on_input

Nuprl Definition : nysiad_on_input_queue

nysiad_on_input_queue(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf) ==
λloc,slf,i,s. if isl(i)

               then nysiad_query(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf)

                    loc
                    slf
                    outl(i)
                    s

               else nysiad_deliver_to_replica(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;...;...;mf)

                    loc
                    slf
                    outr(i)
                    s
               fi

Definitions occuring in Statement : nysiad_query: nysiad_query(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf), nysiad_deliver_to_replica: nysiad_deliver_to_replica(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf), outr: outr(x), outl: outl(x), ifthenelse: if b then t else f fi , isl: isl(x), apply: f a, lambda: λx.A[x]
FDL editor aliases : nysiad_on_input_queue

Latex:
nysiad\_on\_input\_queue(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;...;...;mf) == \mlambda{}loc,slf,i,s. if isl(i) then nysiad\_query(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;...;...;...;mf) loc slf outl(i) s else nysiad\_deliver\_to\_replica(add2baghdr;addwaitinghdr;...;...;...;readyhdr;...;mf) loc slf outr(i) s fi Date html generated: 2015_07_23-PM-03_46_34 Last ObjectModification: 2014_08_06-PM-03_34_11 Home Index