Nuprl Definition : nysiad_OnReceiptMsg
nysiad_OnReceiptMsg(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;senders;tooarcasthdr;mf) ==
  (nysiad_on_receipt_msg(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;senders;...;mf) o ...)
Definitions occuring in Statement : 
nysiad_on_receipt_msg: nysiad_on_receipt_msg(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;senders;tooarcasthdr;mf)
, 
nysiad_inputmsg'base: nysiad_inputmsg'base(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf)
, 
eclass0: (f o X)
FDL editor aliases : 
nysiad_OnReceiptMsg
Latex:
nysiad\_OnReceiptMsg(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;...;...;...;mf)  ==
    (nysiad\_on\_receipt\_msg(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;...;...;...;...;mf)  o  ...)
Date html generated:
2016_05_17-PM-01_33_09
Last ObjectModification:
2014_08_06-PM-03_36_02
Theory : event-logic-applications
Home
Index