Nuprl Definition : nysiad_Replica-program
nysiad_Replica-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf;prX) ==
λloc.nysiad_Queue-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf) loc
|| eclass0-program(nysiad_Out(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;...;mf)
loc;base-process-class-program(prX;loc;adeliverhdr))
Definitions occuring in Statement :
nysiad_Out: nysiad_Out(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf),
nysiad_Queue-program: nysiad_Queue-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf),
parallel-class-program: X || Y,
base-process-class-program: base-process-class-program(X;loc;hdr),
eclass0-program: eclass0-program(f;pr),
apply: f a,
lambda: λx.A[x]
FDL editor aliases :
nysiad_Replica-program
Latex:
nysiad\_Replica-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;...;readyhdr;...;mf;prX) ==
\mlambda{}loc.nysiad\_Queue-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;...;readyhdr;...;mf)
loc
|| eclass0-program(nysiad\_Out(add2baghdr;addwaitinghdr;adeliverhdr;...;...;readyhdr;...;mf)
loc;base-process-class-program(prX;loc;adeliverhdr))
Date html generated:
2015_07_23-PM-03_47_19
Last ObjectModification:
2014_08_06-PM-03_35_11
Home
Index