Nuprl Definition : nysiad_message-constraint

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

  msg-interface-constraint{i:l}(nysiad_main(M;actors;add2baghdr;...;...;deqM;...;...;...;...;...;...;mf;msg2m;X);...;mf)

Definitions occuring in Statement : nysiad_headers_no_inputs: nysiad_headers_no_inputs(add2baghdr;addwaitinghdr;adeliverhdr;readyhdr;tooarcasthdr), nysiad_main: nysiad_main(M;actors;add2baghdr;addwaitinghdr;adeliverhdr;deqM;inputmsghdr;kdeliverhdr;readyhdr;...;...;...;mf;msg2m;X), msg-interface-constraint: msg-interface-constraint{i:l}(X;hdrs;f)
FDL editor aliases : nysiad_message-constraint

Latex:
nysiad\_message-constraint\{i:l\}(M;actors;add2baghdr;...;...;deqM;...;...;...;...;...;...;mf;...;X) == msg-interface-constraint\{i:l\}(...;nysiad\_headers\_no\_inputs(add2baghdr;...;adeliverhdr;...;...);mf) Date html generated: 2015_07_23-PM-03_48_56 Last ObjectModification: 2014_08_06-PM-03_37_31 Home Index