Nuprl Definition : nysiad_Replica
nysiad_Replica(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf;X) ==
λloc.nysiad_Queue(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf) loc
|| (nysiad_Out(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf)
loc o base-process-class(X;loc;adeliverhdr))
Definitions occuring in Statement :
nysiad_Out: nysiad_Out(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf),
nysiad_Queue: nysiad_Queue(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf),
base-process-class: base-process-class(X;loc;hdr),
parallel-class: X || Y,
eclass0: (f o X),
apply: f a,
lambda: λx.A[x]
FDL editor aliases :
nysiad_Replica
Latex:
nysiad\_Replica(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;...;mf;X) ==
\mlambda{}loc.nysiad\_Queue(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;...;mf)
loc
|| (nysiad\_Out(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;...;mf)
loc o base-process-class(X;loc;adeliverhdr))
Date html generated:
2016_05_17-PM-01_31_34
Last ObjectModification:
2014_08_06-PM-03_34_59
Theory : event-logic-applications
Home
Index