Nuprl Definition : nysiad_inputmsg'base-program

nysiad_inputmsg'base-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;kdeliverhdr;readyhdr;tooarcasthdr;mf) ==
base-class-program(inputmsghdr)

Definitions occuring in Statement : base-class-program: base-class-program(hdr)
FDL editor aliases : nysiad_inputmsg'base-program

Latex:
nysiad\_inputmsg'base-program(add2baghdr;addwaitinghdr;adeliverhdr;inputmsghdr;...;...;...;mf) == base-class-program(inputmsghdr) Date html generated: 2016_05_17-PM-01_21_57 Last ObjectModification: 2014_08_06-PM-03_28_35 Theory : event-logic-applications Home Index