Nuprl Definition : nysiad_MessageBag-program
nysiad_MessageBag-program(M;add2baghdr;addwaitinghdr;adeliverhdr;deqM;inputmsghdr;kdeliverhdr;...;...;...;...;mf;...) ==
eclass1-program(nysiad_on_input_message_bag(M;add2baghdr;addwaitinghdr;...;deqM;...;...;readyhdr;...;...;...;mf;...);
nysiad_MessageBagInput-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;...;readyhdr;...;mf))
o nysiad_MessageBagState-program(M;add2baghdr;addwaitinghdr;adeliverhdr;deqM;inputmsghdr;...;readyhdr;...;...;mf;...)
Definitions occuring in Statement :
nysiad_MessageBagInput-program: nysiad_MessageBagInput-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf),
nysiad_on_input_message_bag: nysiad_on_input_message_bag(M;add2baghdr;addwaitinghdr;adeliverhdr;deqM;inputmsghdr;kdeliverhdr;...;...;...;...;mf;...),
nysiad_MessageBagState-program: nysiad_MessageBagState-program(M;add2baghdr;addwaitinghdr;adeliverhdr;deqM;inputmsghdr;kdeliverhdr;...;...;...;mf;msg2m),
eclass2-program: Xpr o Ypr,
eclass1-program: eclass1-program(f;pr)
FDL editor aliases :
nysiad_MessageBag-program
Latex:
nysiad\_MessageBag-program(M;add2baghdr;addwaitinghdr;...;deqM;...;...;...;senders;...;...;mf;...) ==
eclass1-program(nysiad\_on\_input\_message\_bag(M;...;...;...;deqM;...;...;...;...;...;...;mf;msg2m);
nysiad\_MessageBagInput-program(add2baghdr;addwaitinghdr;...;...;...;...;...;mf))
o nysiad\_MessageBagState-program(M;add2baghdr;addwaitinghdr;...;deqM;...;...;...;...;...;mf;msg2m)
Date html generated:
2015_07_23-PM-03_45_03
Last ObjectModification:
2014_08_06-PM-03_31_59
Home
Index