Nuprl Definition : OARcast_message-constraint

OARcast_message-constraint{i:l}(M;deliverhdr;deqM;flrs;oarcasthdr;orderedhdr;orderers;orderhdr;receivers;senders;mf) ==
msg-interface-constraint{i:l}(OARcast_main(M;deliverhdr;deqM;flrs;oarcasthdr;orderedhdr;...;...;...;...;mf);...;mf)

Definitions occuring in Statement : OARcast_headers_no_inputs: OARcast_headers_no_inputs(deliverhdr;orderedhdr;orderhdr), OARcast_main: OARcast_main(M;deliverhdr;deqM;flrs;oarcasthdr;orderedhdr;orderers;orderhdr;receivers;senders;mf), msg-interface-constraint: msg-interface-constraint{i:l}(X;hdrs;f)
FDL editor aliases : OARcast_message-constraint

Latex:
OARcast\_message-constraint\{i:l\}(M;deliverhdr;deqM;flrs;oarcasthdr;orderedhdr;...;...;...;...;mf) == msg-interface-constraint\{i:l\}(OARcast\_main(M;...;deqM;flrs;...;...;...;...;...;senders;mf);...;mf) Date html generated: 2015_07_23-PM-00_36_02 Last ObjectModification: 2014_08_20-PM-00_10_39 Home Index