Nuprl Definition : nysiad_MessageBagStateFun

nysiad_MessageBagStateFun(M;add2baghdr;addwaitinghdr;adeliverhdr;deqM;inputmsghdr;...;readyhdr;...;...;mf;msg2m;es;e) ==
  nysiad_MessageBagState(M;add2baghdr;addwaitinghdr;adeliverhdr;deqM;inputmsghdr;kdeliverhdr;readyhdr;...;...;mf;...)(e)


Definitions occuring in Statement :  nysiad_MessageBagState: nysiad_MessageBagState(M;add2baghdr;addwaitinghdr;adeliverhdr;deqM;inputmsghdr;kdeliverhdr;readyhdr;...;...;mf;msg2m),  classfun: X(e)
FDL editor aliases :  nysiad_MessageBagStateFun
Latex:
nysiad\_MessageBagStateFun(M;add2baghdr;addwaitinghdr;...;deqM;...;...;...;...;...;mf;msg2m;es;e)  ==
    nysiad\_MessageBagState(M;add2baghdr;addwaitinghdr;adeliverhdr;deqM;...;...;...;...;...;mf;...)(e)


Date html generated: 2016_05_17-PM-01_24_33
Last ObjectModification: 2014_08_06-PM-03_30_13

Theory : event-logic-applications


Home Index