Nuprl Definition : nysiad_messages-delivered

nysiad_messages-delivered{i:l}(M;actors;add2baghdr;addwaitinghdr;adeliverhdr;deqM;...;...;...;...;...;...;mf;msg2m;X) ==

  msgs-interface-delivered{i:l}(nysiad_main(M;actors;add2baghdr;...;...;deqM;...;...;readyhdr;...;...;...;mf;...;X);mf)

Definitions occuring in Statement : nysiad_main: nysiad_main(M;actors;add2baghdr;addwaitinghdr;adeliverhdr;deqM;inputmsghdr;kdeliverhdr;readyhdr;...;...;...;mf;msg2m;X), msgs-interface-delivered: msgs-interface-delivered{i:l}(X;f)
FDL editor aliases : nysiad_messages-delivered

Latex:
nysiad\_messages-delivered\{i:l\}(M;actors;add2baghdr;...;...;deqM;...;...;...;...;...;...;mf;...;X) == msgs-interface-delivered\{i:l\}(...;mf) Date html generated: 2015_07_23-PM-03_49_06 Last ObjectModification: 2014_08_06-PM-03_37_43 Home Index